diff --git a/.github/workflows/integration.yml b/.github/workflows/integration.yml index b3eb20fb..fe673eef 100644 --- 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.