Fix workflow names

jaisnan · Sep 6, 2024 · aba4ecf · aba4ecf
1 parent 329ef6a
commit aba4ecf
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 11 deletions.
diff --git 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,16 +34,12 @@ 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
 
       - name: Run Kani Script without -p
         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
@@ -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: