Merge pull request #8250 from tautschnig/bugfixes/perf-event-triggers

Move benchcomp YAML file to avoid spurious GitHub errors

Author: tautschnig

.github/workflows/benchcomp-config.yaml .github/performance/benchcomp-config.yaml.github/workflows/benchcomp-config.yaml renamed to .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

.github/workflows/benchcomp-parse_cbmc.py …thub/performance/benchcomp-parse_cbmc.py.github/workflows/benchcomp-parse_cbmc.py renamed to .github/performance/benchcomp-parse_cbmc.py .github/workflows/benchcomp-parse_cbmc.py renamed to .github/performance/benchcomp-parse_cbmc.py

@@ -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