.

GaloisInc · Sep 24, 2024 · e6bbd37 · e6bbd37
1 parent bac33c0
commit e6bbd37
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci-bench.yml b/.github/workflows/ci-bench.yml
@@ -108,7 +108,7 @@ jobs:
         tool: 'customSmallerIsBetter'
         output-file-path: |
           {
-            "z3": "tests/benchmark-data.json"
+            "z3": "tests/benchmark-data.json",
             "cvc5": "tests/benchmark-data.json"
           }
         # Access token to deploy GitHub Pages branch