From ec4d90932ad46076baf5d1c0c8615f5c8b50a504 Mon Sep 17 00:00:00 2001
From: Carolyn Zech <cmzech@amazon.com>
Date: Mon, 18 Nov 2024 21:40:34 -0500
Subject: [PATCH] fix run error

---
 .github/workflows/kani.yml | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml
index 3e56fe0..b3c8aa3 100644
--- a/.github/workflows/kani.yml
+++ b/.github/workflows/kani.yml
@@ -66,12 +66,16 @@ jobs:
         working-directory: ${{github.workspace}}/head
         run: scripts/run-kani.sh --kani-args --harness ptr::verify::check_read_u128 --harness ptr --output-format=terse
       
-      # Step 3: Run list on the std library (assumes it creates kani_list.txt)
+      # 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
+
+      - name: Add Kani List output to job summary
         uses: actions/github-script@v6
         with:
           script: |
-            head/scripts/run-kani.sh --run list --path ${{github.workspace}}/head;
             const fs = require('fs');
             const kaniOutput = fs.readFileSync('${{github.workspace}}/head/kani_list.txt', 'utf8');
-            kaniOutput >> "$GITHUB_STEP_SUMMARY";
+            await core.summary
+              .addRaw(kaniOutput)
+              .write();
\ No newline at end of file