temporarily enable workflow for pull requests

AeneasVerif · Aug 16, 2024 · f6324a7 · f6324a7
1 parent 80526fc
commit f6324a7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/weekly.yml b/.github/workflows/weekly.yml
@@ -2,6 +2,7 @@ on:
   schedule:
     - cron: '0 0 * * 0'
   workflow_dispatch:
+  pull_request:
 
 jobs:
   default: