From 8a1b5fbe85241c420ad52c135d68585ec99894af Mon Sep 17 00:00:00 2001
From: Roberto Rosmaninho <robertogomes@dcc.ufmg.br>
Date: Thu, 21 Sep 2023 10:39:37 -0300
Subject: [PATCH] Adding workspace variable

---
 .github/workflows/develop.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/develop.yml b/.github/workflows/develop.yml
index cefa8d047e9..2630b770fcc 100644
--- a/.github/workflows/develop.yml
+++ b/.github/workflows/develop.yml
@@ -55,7 +55,6 @@ 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                            \
@@ -73,6 +72,7 @@ jobs:
       - name: 'Copy K Framework'
         run: |
           set -euxo pipefail
+          workspace=$(pwd)
           docker cp ${workspace}/. k-posting-profiling-tests-${GITHUB_SHA}:/opt/workspace
 
       - name: 'Setting up dependencies'