.

GaloisInc · Sep 24, 2024 · 126e89c · 126e89c
1 parent 082916d
commit 126e89c
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/.github/workflows/ci-bench.yml b/.github/workflows/ci-bench.yml
@@ -106,9 +106,11 @@ jobs:
       with:
         name: CN Benchmarks
         tool: 'customSmallerIsBetter'
-        output-file-path:
-          z3: tests/benchmark-data.json
-          cvc5: tests/benchmark-data.json
+        output-file-path: |
+          {
+            "z3": "tests/benchmark-data.json"
+            "cvc5": "tests/benchmark-data.json"
+          }
         # Access token to deploy GitHub Pages branch
         github-token: ${{ secrets.GITHUB_TOKEN }}
         # Push and deploy GitHub pages branch automatically