move list cmd to kani workflow

Author: carolynzech

.github/workflows/kani.yml

@@ -65,3 +65,13 @@ 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 3: Run list on the std library (assumes it creates kani_list.txt)
+      - name: Run Kani List
+        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";