diff --git a/.github/workflows/check_entrypoint.yml b/.github/workflows/check_entrypoint.yml
index 1338b99c35bb4..cbdc9be54fd5f 100644
--- a/.github/workflows/check_entrypoint.yml
+++ b/.github/workflows/check_entrypoint.yml
@@ -1,15 +1,15 @@
 # This workflow is responsible for verifying the standard library with Kani.
 
-name: Kani
+name: Check entry-point
 on:
   workflow_dispatch:
   pull_request:
     branches: [ main ]
   push:
     paths:
-        - '.github/workflows/check_entrypoint.yml'
-        - '.github/workflows/kani.yml'
-        - 'run-kani.sh'
+      - '.github/workflows/check_entrypoint.yml'
+      - '.github/workflows/kani.yml'
+      - 'run-kani.sh'
 
 defaults:
   run:
@@ -34,9 +34,6 @@ jobs:
           path: head
           submodules: true
 
-      - name: Run Kani Script with a path
-        run: bash ./head/run-kani.sh -p ${{github.workspace}}/head
-
       - name: Run Kani Script with --kani-args and -p
         run: bash ./head/run-kani.sh -p ${{github.workspace}}/head --kani-args --harness ptr::verify::check_read_u128 --harness ptr::unique::verify::check_as_mut
 
@@ -44,6 +41,5 @@ jobs:
         working-directory: ${{github.workspace}}/head
         run: bash ./head/run-kani.sh --kani-args --harness ptr::verify::check_read_u128 --harness ptr::unique::verify::check_as_mut
 
-      - name: Run Kani Script without any arguments
-        working-directory: ${{github.workspace}}/head
-        run: bash ./head/run-kani.sh
+      - name: Run Kani Script with a path
+        run: bash ./head/run-kani.sh -p ${{github.workspace}}/head
diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml
index b937f85eecc03..4b2e87e99bff0 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: Check entry-point
+name: Kani
 on:
   workflow_dispatch:
   pull_request: