From b2ee030846b85275aa5a10de3e0fd9aad3da159b Mon Sep 17 00:00:00 2001 From: Pekka Enberg Date: Thu, 19 Jun 2025 14:25:17 +0300 Subject: [PATCH] github: Antithesis workflow fixes --- .github/workflows/antithesis.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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