pin: 22.04

atanmarko · atanmarko · commit c810e2415837 · 2024-10-28T14:37:32.000+01:00
diff --git a/.github/workflows/shellcheck.yml b/.github/workflows/shellcheck.yml
@@ -10,13 +10,13 @@ on:
 
 jobs:
   shellcheck_scripts:
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-22.04
     timeout-minutes: 10
     steps:
       - uses: actions/checkout@v4
 
       - name: Install shellcheck
-        run: sudo apt-get install shellcheck
+        run: sudo apt-get install shellcheck=0.8.0-2
 
       - name: Run shellcheck
         run: |
diff --git a/scripts/prove_stdio.sh b/scripts/prove_stdio.sh
@@ -158,3 +158,4 @@ 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
`@@ -158,3 +158,4 @@ echo "Note, this duration is inclusive of circuit handling and overall process i`
`158`	`158`
`159`	`159`	`# Clean up in case of success`
`160`	`160`	`rm "$OUTPUT_LOG"`
	`161`	`+`