Rename check name

model-checking · Sep 6, 2024 · 329ef6a · 329ef6a
1 parent d3009c3
commit 329ef6a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml
@@ -1,6 +1,6 @@
 # This workflow is responsible for verifying the standard library with Kani.
 
-name: Kani
+name: Check entry-point
 on:
   workflow_dispatch:
   pull_request: