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

noir-lang · Nov 7, 2023 · e5a1f78 · e5a1f78
1 parent cbdc646
commit e5a1f78
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: