Name

tautschnig · tautschnig · commit 213026ed5ed0 · 2025-04-30T09:28:44.000Z
diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml
@@ -189,7 +189,7 @@ jobs:
           retention-days: 3
 
   run-log-analysis:
-    name: TestLocalToolchain
+    name: Build JSON from logs
     needs: [run_kani_metrics, kani_autoharness]
     runs-on: ${{ matrix.os }}
     strategy:
