Allowing to manually dispatch the update pdfs workflow

redesunlu · Feb 21, 2025 · b22423e · b22423e
1 parent 1a8034f
commit b22423e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/update_pdfs.yaml b/.github/workflows/update_pdfs.yaml
@@ -7,6 +7,7 @@ on:
   pull_request:
     branches:
       - main
+  workflow_dispatch:
 
 jobs:
   build: