Try visualizer fix

diffblue · Jan 29, 2024 · 5467902 · 5467902
1 parent d618c6b
commit 5467902
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/performance.yaml b/.github/workflows/performance.yaml
@@ -79,7 +79,7 @@ jobs:
         run: ccache -s
 
       - name: Obtain benchcomp
-        run: git clone --depth 1 https://github.com/model-checking/kani kani.git
+        run: git clone --depth 1 https://github.com/karkhaz/kani --branch kk-fix-metric-result-loading kani.git
 
       - name: Fetch benchmarks
         run: |