Trigger github workflows for pull requests (#73)

mhochsteger · web-flow · commit e70f901e3646 · 2025-02-03T01:10:40.000Z
diff --git a/.github/workflows/ngsPETSc.yml b/.github/workflows/ngsPETSc.yml
@@ -1,6 +1,9 @@
 # .github/workflows/app.yaml
 name: ngsPETSc tests
 on:
+    pull_request:
+      types: [synchronize]
+
     push:
       branches-ignore:
       - 'no-ci/*'
