build(deps): bump actions/checkout from 3 to 4

Bumps [actions/checkout](https://github.com/actions/checkout) from 3 to 4.
- [Release notes](https://github.com/actions/checkout/releases)
- [Commits](actions/checkout@v3...v4)

---
updated-dependencies:
- dependency-name: actions/checkout
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <[email protected]>

.github/workflows/coverity.yml

@@ -16,7 +16,7 @@ jobs:
 
     steps:
       - name: Checkout repository
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
 
       - name: Install dependencies
         run: |

.github/workflows/differential-shellcheck.yml

@@ -18,7 +18,7 @@ jobs:
 
     steps:
       - name: Repository checkout
-        uses: actions/checkout@2541b1294d2704b0964813337f33b291d3f8596b
+        uses: actions/checkout@8ade135a41bc03ea155e62e844d188df1ea18608
         with:
           fetch-depth: 0
 

.github/workflows/macos.yml

@@ -35,7 +35,7 @@ jobs:
 
     steps:
       - name: Checkout repository
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
 
       - name: Install dependencies
         run: brew install boost boost-build gcc@10 gmp llvm@14

.github/workflows/ubuntu.yml

@@ -42,7 +42,7 @@ jobs:
 
     steps:
       - name: Checkout repository
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
 
       - name: Determine default tool versions for Ubuntu ${{ matrix. version }}
         run: |
@@ -93,7 +93,7 @@ jobs:
       # FIXME: workaround for a git clone hang on Ubuntu 22.04 machines
       - name: '[Jammy + LLVM] Checkout passes repository'
         if: startsWith(matrix.host, 'llvm') && matrix.version == '22.04'
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           path: passes-src
           repository: VeriFIT/ProStatA