Revert "Run on push once"

This reverts commit ec05dae.
dodona-edu · May 27, 2024 · f3d4f43 · f3d4f43
1 parent 6058c03
commit f3d4f43
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/integration.yml b/.github/workflows/integration.yml
@@ -1,6 +1,6 @@
 name: Integration tests
 
-on: [ push ]
+on: [ workflow_dispatch ]
 
 jobs:
   # Runs the test suite in a slightly modified Docker image used by Dodona.