Testing develop workflow to fix post_results_to_develop.py script

runtimeverification · Sep 20, 2023 · 2a01390 · 2a01390
1 parent 69b2cfe
commit 2a01390
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/develop.yml b/.github/workflows/develop.yml
@@ -3,6 +3,7 @@ on:
   push:
     branches:
       - 'develop'
+      - 'test-develop-workflow'
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}
   cancel-in-progress: true
@@ -77,7 +78,7 @@ jobs:
       - name: 'Getting Performance Tests Results'
         run: |
           set -euxo pipefail
-          docker exec -t k-posting-profiling-tests-${GITHUB_SHA} /bin/bash -c './k-distribution/tests/profiling/post_results_to_develop.py'
+          docker exec -t k-posting-profiling-tests-${GITHUB_SHA} /bin/bash -c 'python3 k-distribution/tests/profiling/post_results_to_develop.py'
       - name: 'Posting Performance Tests Results'
         run: |
           set -euxo pipefail