Merge branch 'jc/maint-github-actions-update' into jc/github-actions-update

This contains an evil merge to tell the fuzz-smoke-test job to
also use checkout@v4; the job has been added since the master
track diverged from the maintenance track.

* jc/maint-github-actions-update:
  GitHub Actions: update to github-script@v7
  GitHub Actions: update to checkout@v4

diff --cc .github/workflows/main.yml
index 4d97da57ec4e7b8f9276527f24cc068ee786f179,c7b04a521b7b2ddc406354856af462c84c7df701..bb857bdaf085965140e38d1850314a2f7d979e24
--- 1/.github/workflows/main.yml
--- 2/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@@ -309,17 -309,6 +309,17 @@@ jobs
        with:
          name: failed-tests-${{matrix.vector.jobname}}
          path: ${{env.FAILED_TEST_ARTIFACTS}}
-     - uses: actions/checkout@v3
 +  fuzz-smoke-test:
 +    name: fuzz smoke test
 +    needs: ci-config
 +    if: needs.ci-config.outputs.enabled == 'yes'
 +    env:
 +      CC: clang
 +    runs-on: ubuntu-latest
 +    steps:
++    - uses: actions/checkout@v4
 +    - run: ci/install-dependencies.sh
 +    - run: ci/run-build-and-minimal-fuzzers.sh
    dockerized:
      name: ${{matrix.vector.jobname}} (${{matrix.vector.image}})
      needs: ci-config