Have `shellcheck` check all scripts in `ci`

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index e84cfa174f354da3a76a4c3ddfaae2848b13ca17..7e0a0c579771ddc353dc6cd8c63d59c308e02563 100644 (file)
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -36,7 +36,7 @@ jobs:
         if: "matrix.platform == 'ubuntu-latest'"
         run: |
           sudo apt-get -y install shellcheck
-          shellcheck ci/ci-tests.sh
+          shellcheck ci/*.sh -aP ci
       - name: Set RUSTFLAGS to deny warnings
         if: "matrix.toolchain == '1.63.0'"
         run: echo "RUSTFLAGS=-D warnings" >> "$GITHUB_ENV"