Also run the integration test on push

DOMjudge · Dec 4, 2024 · 9fccfb2 · 9fccfb2
1 parent 8d506fc
commit 9fccfb2
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/integration.yml b/.github/workflows/integration.yml
@@ -1,5 +1,6 @@
 name: Run integration tests
 on:
+  push:
   merge_group:
   pull_request:
     branches: