also run ci on PRs

extrawurst · extrawurst · commit 319d7a78b163 · 2024-12-05T14:35:38.000+01:00
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -2,8 +2,9 @@ name: CI
 on:
   schedule:
     - cron: '0 2 * * *'
+  pull_request:
   push:
-    branches: [ '*' ]
+    branches: [ 'master' ]
 
 jobs:
   build_and_benchmark:
