diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml index d73d936f0..92bd3ebe4 100644 --- a/.github/workflows/coverity.yml +++ b/.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: | diff --git a/.github/workflows/differential-shellcheck.yml b/.github/workflows/differential-shellcheck.yml index eb0516ce9..556bd1d7d 100644 --- a/.github/workflows/differential-shellcheck.yml +++ b/.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 diff --git a/.github/workflows/macos.yml b/.github/workflows/macos.yml index 053995208..67ea75e21 100644 --- a/.github/workflows/macos.yml +++ b/.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 diff --git a/.github/workflows/ubuntu.yml b/.github/workflows/ubuntu.yml index 92361c41e..8aa1f459f 100644 --- a/.github/workflows/ubuntu.yml +++ b/.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