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

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