test-statistics.sh: Build kore-exec from other trees

Author: ttuegel

.github/workflows/performance.yml

@@ -30,9 +30,8 @@ jobs:
 
       - name: Build
         run: |
-          ./test/regression-evm/test-statistics.sh pull-request.csv
+          ./test/regression-evm/test-statistics.sh ./. pull-request.csv
           git fetch origin
-          git checkout master
-          git checkout ${{ github.event.pull_request.head.sha }} -- test/regression-evm
-          ./test/regression-evm/test-statistics.sh master.csv
+          git worktree add kore-master master
+          ./test/regression-evm/test-statistics.sh ./kore-master master.csv
           ./scripts/join-statistics.sh master.csv pull-request.csv

test/regression-evm/test-statistics.sh

@@ -3,7 +3,9 @@
 
 set -xeou pipefail
 
-export KORE_EXEC="$(nix-build -A kore --arg release true --no-out-link)/bin/kore-exec"
+dir="${1:?}"; shift
+
+export KORE_EXEC="$(nix-build $dir -A kore --arg release true --no-out-link)/bin/kore-exec"
 
 cd $(dirname $0)