diff --git a/.github/workflows/benchcomp-config.yaml b/.github/performance/benchcomp-config.yaml
similarity index 92%
rename from .github/workflows/benchcomp-config.yaml
rename to .github/performance/benchcomp-config.yaml
index a6fae120327..c077a76721b 100644
--- a/.github/workflows/benchcomp-config.yaml
+++ b/.github/performance/benchcomp-config.yaml
@@ -10,22 +10,22 @@
 variants:
   aws-c-common@old:
     config:
-      command_line: cd verification/cbmc/proofs && export PATH=/home/runner/work/cbmc/cbmc/old/build/bin:$PATH &&
-        ./run-cbmc-proofs.py
+      command_line: cd verification/cbmc/proofs && ./run-cbmc-proofs.py
       directory: /home/runner/work/cbmc/cbmc/aws-c-common.git
-      env: {}
+      env:
+        PATH: /home/runner/work/cbmc/cbmc/old/build/bin:${PATH}
   aws-c-common@new:
     config:
-      command_line: cd verification/cbmc/proofs && export PATH=/home/runner/work/cbmc/cbmc/new/build/bin:$PATH &&
-        ./run-cbmc-proofs.py
+      command_line: cd verification/cbmc/proofs && ./run-cbmc-proofs.py
       directory: /home/runner/work/cbmc/cbmc/aws-c-common.git
-      env: {}
+      env:
+        PATH: /home/runner/work/cbmc/cbmc/new/build/bin:${PATH}
 
 run:
   suites:
     aws-c-common:
       parser:
-        command: /home/runner/work/cbmc/cbmc/new/.github/workflows/benchcomp-parse_cbmc.py
+        command: /home/runner/work/cbmc/cbmc/new/.github/performance/benchcomp-parse_cbmc.py
       variants:
         - aws-c-common@old
         - aws-c-common@new
diff --git a/.github/workflows/benchcomp-parse_cbmc.py b/.github/performance/benchcomp-parse_cbmc.py
similarity index 100%
rename from .github/workflows/benchcomp-parse_cbmc.py
rename to .github/performance/benchcomp-parse_cbmc.py
diff --git a/.github/workflows/performance.yaml b/.github/workflows/performance.yaml
index 614bf5b36e3..9c56891588d 100644
--- a/.github/workflows/performance.yaml
+++ b/.github/workflows/performance.yaml
@@ -97,20 +97,20 @@ jobs:
       - name: Run benchcomp
         run: |
           kani.git/tools/benchcomp/bin/benchcomp \
-            --config new/.github/workflows/benchcomp-config.yaml \
+            --config new/.github/performance/benchcomp-config.yaml \
             run
           kani.git/tools/benchcomp/bin/benchcomp \
-            --config new/.github/workflows/benchcomp-config.yaml \
+            --config new/.github/performance/benchcomp-config.yaml \
             collate
 
       - name: Perf Regression Results Table
         run: |
           kani.git/tools/benchcomp/bin/benchcomp \
-            --config new/.github/workflows/benchcomp-config.yaml \
+            --config new/.github/performance/benchcomp-config.yaml \
             visualize --only dump_markdown_results_table >> "$GITHUB_STEP_SUMMARY"
 
       - name: Run other visualizations
         run: |
           kani.git/tools/benchcomp/bin/benchcomp \
-            --config new/.github/workflows/benchcomp-config.yaml \
+            --config new/.github/performance/benchcomp-config.yaml \
             visualize --except dump_markdown_results_table