ci.yml: add shellcheck job

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index f31931c44a6474c382459da8456c8007672a58ff..cd94dc4af214caa2a8e90b31af8e255e76eb86b2 100644 (file)
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -102,6 +102,18 @@ jobs:
         name: ubsan-test-logs
         path: tests/*.log
 
+  run-shellcheck:
+    name: Run shellcheck
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v3
+    - name: Install dependencies
+      run: |
+        sudo apt-get update
+        sudo apt-get install -y shellcheck
+    - name: Run shellcheck
+      run: shellcheck tools/*.sh tools/*/*.sh
+
   macos-build-and-test:
     name: Build and test on macOS
     runs-on: macos-latest