diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml
index 4b2e87e99bff0..b937f85eecc03 100644
--- 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: