From 329ef6a2bb31a9cff4012610627409ff28f7d1f5 Mon Sep 17 00:00:00 2001
From: Jaisurya Nanduri <jaisnan@amazon.com>
Date: Fri, 6 Sep 2024 21:06:51 +0000
Subject: [PATCH] Rename check name

---
 .github/workflows/kani.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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: