write to step summary instead of commenting

Author: carolynzech

.github/workflows/list.yml

@@ -41,14 +41,7 @@ jobs:
       - name: Comment Results on PR
         uses: actions/github-script@v6
         with:
-          github-token: ${{secrets.GITHUB_TOKEN}}
           script: |
             const fs = require('fs');
             const kaniOutput = fs.readFileSync('${{github.workspace}}/head/kani_list.txt', 'utf8');
-            
-            await github.rest.issues.createComment({
-              issue_number: ${{ github.event.pull_request.number }},
-              owner: context.repo.owner,
-              repo: context.repo.repo,
-              body: 'Kani List Results:\n```\n' + kaniOutput + '\n```'
-            });
+            kaniOutput >> "$GITHUB_STEP_SUMMARY"