chore: allow to run on PRs to test the workflow.

leanprover · Aug 5, 2024 · 763b1f6 · 763b1f6
1 parent 2c8c2d4
commit 763b1f6
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml
@@ -3,6 +3,8 @@ on:
   push:
     branches:
       - "main"
+  # Run on pull request activity
+  pull_request: {}
 
 # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
 permissions: