diff --git a/.github/workflows/antithesis.yml b/.github/workflows/antithesis.yml index 01e74be6f..7e0b1dc8b 100644 --- a/.github/workflows/antithesis.yml +++ b/.github/workflows/antithesis.yml @@ -1,4 +1,4 @@ -name: antithesis +name: Antithesis experiment on: # Allows the workflow to be triggered manually @@ -25,7 +25,7 @@ jobs: - uses: actions/checkout@v3 - name: Publish workload - run: ./scripts/antithesis/publish-workload.sh + run: bash ./scripts/antithesis/publish-workload.sh - name: Launch experiment - run: ./scripts/antithesis/launch.sh \ No newline at end of file + run: bash ./scripts/antithesis/launch.sh