From d68e509e019820e4db267abd88559e63cef4ac7d Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Mon, 17 Oct 2022 12:13:49 +0000 Subject: [PATCH] GitHub actions: use checkout v3 This avoids a warning about a deprected node.js version (version 12). --- .github/workflows/build-and-test-Linux.yaml | 2 +- .github/workflows/build-and-test-Xen.yaml | 2 +- .github/workflows/codeql-analysis.yml | 2 +- .github/workflows/csmith.yaml | 2 +- .github/workflows/doxygen-check.yaml | 2 +- .github/workflows/publish.yaml | 2 +- .github/workflows/pull-request-checks.yaml | 36 ++++++++++----------- .github/workflows/regular-release.yaml | 2 +- .github/workflows/release-packages.yaml | 10 +++--- 9 files changed, 30 insertions(+), 30 deletions(-) diff --git a/.github/workflows/build-and-test-Linux.yaml b/.github/workflows/build-and-test-Linux.yaml index e1c916dd4f5..599696dcd21 100644 --- a/.github/workflows/build-and-test-Linux.yaml +++ b/.github/workflows/build-and-test-Linux.yaml @@ -9,7 +9,7 @@ jobs: CompileLinux: runs-on: ubuntu-20.04 steps: - - uses: actions/checkout@v2 + - uses: actions/checkout@v3 with: submodules: true - name: Install Packages diff --git a/.github/workflows/build-and-test-Xen.yaml b/.github/workflows/build-and-test-Xen.yaml index fa8b278e065..409545b1c27 100644 --- a/.github/workflows/build-and-test-Xen.yaml +++ b/.github/workflows/build-and-test-Xen.yaml @@ -8,7 +8,7 @@ jobs: CompileXen: runs-on: ubuntu-20.04 steps: - - uses: actions/checkout@v2 + - uses: actions/checkout@v3 with: submodules: true - name: Install Packages diff --git a/.github/workflows/codeql-analysis.yml b/.github/workflows/codeql-analysis.yml index 61b868a90a6..0effe7cf3cc 100644 --- a/.github/workflows/codeql-analysis.yml +++ b/.github/workflows/codeql-analysis.yml @@ -22,7 +22,7 @@ jobs: steps: - name: Checkout repository - uses: actions/checkout@v2 + uses: actions/checkout@v3 with: submodules: recursive diff --git a/.github/workflows/csmith.yaml b/.github/workflows/csmith.yaml index 5d45ad7b0f2..1e2a17b9900 100644 --- a/.github/workflows/csmith.yaml +++ b/.github/workflows/csmith.yaml @@ -8,7 +8,7 @@ jobs: run-10-random-tests: runs-on: ubuntu-20.04 steps: - - uses: actions/checkout@v2 + - uses: actions/checkout@v3 with: submodules: recursive - name: Fetch dependencies diff --git a/.github/workflows/doxygen-check.yaml b/.github/workflows/doxygen-check.yaml index cfd2a96dd84..713f0933c75 100644 --- a/.github/workflows/doxygen-check.yaml +++ b/.github/workflows/doxygen-check.yaml @@ -7,7 +7,7 @@ jobs: check-doxygen: runs-on: ubuntu-20.04 steps: - - uses: actions/checkout@v2 + - uses: actions/checkout@v3 - name: Fetch dependencies env: # This is needed in addition to -yq to prevent apt-get from asking for diff --git a/.github/workflows/publish.yaml b/.github/workflows/publish.yaml index 3ceb69363ea..3e29bc1fca4 100644 --- a/.github/workflows/publish.yaml +++ b/.github/workflows/publish.yaml @@ -6,7 +6,7 @@ jobs: runs-on: ubuntu-latest steps: - name: Checkout repository - uses: actions/checkout@v2 + uses: actions/checkout@v3 - name: Install doxygen run: sudo apt install doxygen graphviz pandoc diff --git a/.github/workflows/pull-request-checks.yaml b/.github/workflows/pull-request-checks.yaml index 1223ac5a7ff..37fda9abbd8 100644 --- a/.github/workflows/pull-request-checks.yaml +++ b/.github/workflows/pull-request-checks.yaml @@ -9,7 +9,7 @@ jobs: check-ubuntu-20_04-make-gcc: runs-on: ubuntu-20.04 steps: - - uses: actions/checkout@v2 + - uses: actions/checkout@v3 with: submodules: recursive - name: Fetch dependencies @@ -77,7 +77,7 @@ jobs: CC: "ccache /usr/bin/clang" CXX: "ccache /usr/bin/clang++" steps: - - uses: actions/checkout@v2 + - uses: actions/checkout@v3 with: submodules: recursive - name: Fetch dependencies @@ -148,7 +148,7 @@ jobs: CC: "ccache /usr/bin/clang" CXX: "ccache /usr/bin/clang++" steps: - - uses: actions/checkout@v2 + - uses: actions/checkout@v3 with: submodules: recursive - name: Fetch dependencies @@ -189,7 +189,7 @@ jobs: check-ubuntu-20_04-cmake-gcc: runs-on: ubuntu-20.04 steps: - - uses: actions/checkout@v2 + - uses: actions/checkout@v3 with: submodules: recursive - name: Fetch dependencies @@ -248,7 +248,7 @@ jobs: check-ubuntu-22_04-cmake-gcc: runs-on: ubuntu-22.04 steps: - - uses: actions/checkout@v2 + - uses: actions/checkout@v3 with: submodules: recursive - name: Fetch dependencies @@ -305,7 +305,7 @@ jobs: check-ubuntu-20_04-cmake-gcc-KNOWNBUG: runs-on: ubuntu-20.04 steps: - - uses: actions/checkout@v2 + - uses: actions/checkout@v3 with: submodules: recursive - name: Fetch dependencies @@ -352,7 +352,7 @@ jobs: check-ubuntu-20_04-cmake-gcc-THOROUGH: runs-on: ubuntu-20.04 steps: - - uses: actions/checkout@v2 + - uses: actions/checkout@v3 with: submodules: recursive - name: Fetch dependencies @@ -389,7 +389,7 @@ jobs: check-macos-11-make-clang: runs-on: macos-11 steps: - - uses: actions/checkout@v2 + - uses: actions/checkout@v3 with: submodules: recursive - name: Fetch dependencies @@ -439,7 +439,7 @@ jobs: check-macos-12-cmake-clang: runs-on: macos-12 steps: - - uses: actions/checkout@v2 + - uses: actions/checkout@v3 with: submodules: recursive - name: Fetch dependencies @@ -483,7 +483,7 @@ jobs: env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} steps: - - uses: actions/checkout@v2 + - uses: actions/checkout@v3 with: submodules: recursive - uses: nuget/setup-nuget@v1 @@ -535,7 +535,7 @@ jobs: env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} steps: - - uses: actions/checkout@v2 + - uses: actions/checkout@v3 with: submodules: recursive - uses: nuget/setup-nuget@v1 @@ -600,7 +600,7 @@ jobs: check-clang-format: runs-on: ubuntu-20.04 steps: - - uses: actions/checkout@v2 + - uses: actions/checkout@v3 with: submodules: recursive fetch-depth: 0 @@ -621,7 +621,7 @@ jobs: check-cpplint: runs-on: ubuntu-20.04 steps: - - uses: actions/checkout@v2 + - uses: actions/checkout@v3 with: submodules: recursive fetch-depth: 0 @@ -644,7 +644,7 @@ jobs: env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} steps: - - uses: actions/checkout@v2 + - uses: actions/checkout@v3 with: submodules: recursive - uses: nuget/setup-nuget@v1 @@ -692,7 +692,7 @@ jobs: env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} steps: - - uses: actions/checkout@v2 + - uses: actions/checkout@v3 with: submodules: recursive - name: Fetch dependencies @@ -760,14 +760,14 @@ jobs: check-string-table: runs-on: ubuntu-20.04 steps: - - uses: actions/checkout@v2 + - uses: actions/checkout@v3 - name: Check for unused irep ids run: ./scripts/string_table_check.sh check-docker-image: runs-on: ubuntu-20.04 steps: - - uses: actions/checkout@v2 + - uses: actions/checkout@v3 with: submodules: recursive - name: Download test dependencies @@ -791,7 +791,7 @@ jobs: runs-on: ubuntu-20.04 steps: - name: Clone repository - uses: actions/checkout@v2 + uses: actions/checkout@v3 with: submodules: recursive - name: Download testing and coverage dependencies diff --git a/.github/workflows/regular-release.yaml b/.github/workflows/regular-release.yaml index d3971da2e57..39fc2c35adf 100644 --- a/.github/workflows/regular-release.yaml +++ b/.github/workflows/regular-release.yaml @@ -28,7 +28,7 @@ jobs: needs: get-version-information steps: - name: Checkout code - uses: actions/checkout@v2 + uses: actions/checkout@v3 - name: Create release uses: actions/create-release@v1 env: diff --git a/.github/workflows/release-packages.yaml b/.github/workflows/release-packages.yaml index 9ad113213cb..23ef0bd156d 100644 --- a/.github/workflows/release-packages.yaml +++ b/.github/workflows/release-packages.yaml @@ -11,7 +11,7 @@ jobs: env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} steps: - - uses: actions/checkout@v2 + - uses: actions/checkout@v3 with: submodules: recursive - name: Fetch dependencies @@ -86,7 +86,7 @@ jobs: env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} steps: - - uses: actions/checkout@v2 + - uses: actions/checkout@v3 with: submodules: recursive - name: Fetch dependencies @@ -189,7 +189,7 @@ jobs: HOMEBREW_GITHUB_API_TOKEN: ${{ secrets.DB_CI_CPROVER_ACCESS_TOKEN }} - name: Checkout CBMC project source code to obtain access to scripts if: always() - uses: actions/checkout@v2 + uses: actions/checkout@v3 - name: Install golang toolchain to run the notification step if: always() run: brew install go @@ -207,7 +207,7 @@ jobs: env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} steps: - - uses: actions/checkout@v2 + - uses: actions/checkout@v3 with: submodules: recursive - uses: nuget/setup-nuget@v1 @@ -301,7 +301,7 @@ jobs: runs-on: ubuntu-20.04 steps: - name: Checkout CBMC source - uses: actions/checkout@v2 + uses: actions/checkout@v3 with: submodules: recursive - name: Set Image Tag