Setting $workspace variable in develop.yml (#3658)

runtimeverification · Sep 22, 2023 · 3287f0f · 3287f0f
1 parent fb10ed0
commit 3287f0f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/develop.yml b/.github/workflows/develop.yml
@@ -54,6 +54,7 @@ jobs:
           BENCHER_ADAPTER: json
         run: |
           set -euxo pipefail
+          workspace=$(pwd)
           docker run --name k-posting-profiling-tests-${GITHUB_SHA}            \
             --rm -it --detach                                                  \
             -e BENCHER_API_TOKEN=$BENCHER_API_TOKEN                            \