Try visualizer fix

Author: tautschnig

.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: |