Attempt to fix unzip failures (#450)

risc0 · Mar 20, 2023 · b4a4cb3 · b4a4cb3
1 parent 0953b45
commit b4a4cb3
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/bench_pr_comment.yml b/.github/workflows/bench_pr_comment.yml
@@ -32,11 +32,11 @@ jobs:
             var fs = require('fs');
             fs.writeFileSync('${{github.workspace}}/md-output.zip', Buffer.from(download.data));
 
-      - run: unzip md-output.zip
+      - run: unzip -o md-output.zip
 
       - name: Merge output files
         shell: bash
-        run: sed h ./md-output/*-output.md > merged.md
+        run: sed h ./*-output.md > merged.md
         id: download
 
       - uses: actions/github-script@v3