fix: runner

0xPolygonZero · Oct 28, 2024 · 7ca45ff · 7ca45ff
1 parent 01c53e0
commit 7ca45ff
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/.github/workflows/shellcheck.yml b/.github/workflows/shellcheck.yml
@@ -10,13 +10,13 @@ on:
 
 jobs:
   shellcheck_scripts:
-    runs-on: ubuntu-22
+    runs-on: ubuntu-latest
     timeout-minutes: 10
     steps:
       - uses: actions/checkout@v4
 
       - name: Install shellcheck
-        run: sudo apt-get install shellcheck=0.8.0-2
+        run: sudo apt-get install shellcheck
 
       - name: Run shellcheck
         run: |

diff --git a/scripts/prove_stdio.sh b/scripts/prove_stdio.sh
@@ -158,4 +158,3 @@ echo "Note, this duration is inclusive of circuit handling and overall process i
 
 # Clean up in case of success
 rm "$OUTPUT_LOG"
-
Original file line number	Diff line number	Diff line change
Expand Up		@@ -158,4 +158,3 @@ echo "Note, this duration is inclusive of circuit handling and overall process i

		# Clean up in case of success
		rm "$OUTPUT_LOG"