chore(github): Add manual trigger for building docs (#3439)

noir-lang · Nov 6, 2023 · 16e8215 · 16e8215
1 parent d725b8a
commit 16e8215
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/build-docs.yml b/.github/workflows/build-docs.yml
@@ -2,6 +2,7 @@ name: Build docs
 
 on:
   pull_request:
+  workflow_dispatch:
 
 jobs:
   add_label: