run kani list in a separate job

carolynzech · Dec 6, 2024 · 7f557e6 · 7f557e6
1 parent 4c54dbe
commit 7f557e6
Showing 1 changed file with 18 additions and 14 deletions.
diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml
@@ -65,18 +65,22 @@ jobs:
       - name: Test Kani script (In Repo Directory)
         working-directory: ${{github.workspace}}/head
         run: scripts/run-kani.sh --kani-args --harness ptr::verify::check_read_u128 --harness ptr --output-format=terse
-
-      # Step 4: Run list on the std library and add output to job summary
-      - name: Run Kani List
-        run: head/scripts/run-kani.sh --run list --path ${{github.workspace}}/head
+
+  run-kani-list:
+    name: Test Kani script
+    runs-on: ubuntu-latest
+    steps:
+      # Run list on the std library and add output to job summary
+    - name: Run Kani List
+      run: head/scripts/run-kani.sh --run list --path ${{github.workspace}}/head
 
-      - name: Add Kani List output to job summary
-        uses: actions/github-script@v6
-        with:
-          script: |
-            const fs = require('fs');
-            const kaniOutput = fs.readFileSync('${{github.workspace}}/head/kani-list.md', 'utf8');
-            await core.summary
-              .addHeading('Kani List Output', 2)
-              .addRaw(kaniOutput, false)
-              .write();
+    - name: Add Kani List output to job summary
+      uses: actions/github-script@v6
+      with:
+        script: |
+          const fs = require('fs');
+          const kaniOutput = fs.readFileSync('${{github.workspace}}/head/kani-list.md', 'utf8');
+          await core.summary
+            .addHeading('Kani List Output', 2)
+            .addRaw(kaniOutput, false)
+            .write();