diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index d23db62fe1e..6203f4c7eee 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -14,12 +14,13 @@ jobs: runs-on: ubuntu-latest steps: - name: Check out the repo - uses: actions/checkout@v2 + uses: actions/checkout@v3 - name: Set up Java - uses: actions/setup-java@v1 + uses: actions/setup-java@v3 with: java-version: '15' + distribution: 'zulu' - name: Set up the environment run: python x.py setup diff --git a/.github/workflows/crates-io.yml b/.github/workflows/crates-io.yml index 42fb037b58f..7c92597226f 100644 --- a/.github/workflows/crates-io.yml +++ b/.github/workflows/crates-io.yml @@ -20,7 +20,7 @@ jobs: runs-on: ubuntu-latest steps: - name: Check out the repo - uses: actions/checkout@v2 + uses: actions/checkout@v3 - name: Publish crates.io uses: katyo/publish-crates@v2 with: diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml index 74bd2f24e85..4d91a83b20c 100644 --- a/.github/workflows/deploy.yml +++ b/.github/workflows/deploy.yml @@ -19,17 +19,18 @@ jobs: runs-on: ${{ matrix.os }} steps: - name: Check out the repo - uses: actions/checkout@v2 + uses: actions/checkout@v3 - name: Set up Python 3 - uses: actions/setup-python@v2 + uses: actions/setup-python@v4 with: python-version: '3.x' - name: Set up Java - uses: actions/setup-java@v1 + uses: actions/setup-java@v3 with: java-version: '15' + distribution: 'zulu' - name: Set up the environment run: python x.py setup @@ -61,17 +62,18 @@ jobs: if: false steps: - name: Check out the repo - uses: actions/checkout@v2 + uses: actions/checkout@v3 - name: Set up Python 3 - uses: actions/setup-python@v2 + uses: actions/setup-python@v4 with: python-version: '3.x' - name: Set up Java - uses: actions/setup-java@v1 + uses: actions/setup-java@v3 with: java-version: '15' + distribution: 'zulu' - name: Set up the environment run: python x.py setup diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml index 243d0fb47e9..1caf3382bd7 100644 --- a/.github/workflows/pages.yml +++ b/.github/workflows/pages.yml @@ -17,7 +17,7 @@ jobs: runs-on: ubuntu-latest steps: - name: Checkout repository - uses: actions/checkout@v2 + uses: actions/checkout@v3 with: path: "repo" diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 352a688d52d..e5a696be8cd 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -24,7 +24,7 @@ jobs: runs-on: ubuntu-latest steps: - name: Check out the repo - uses: actions/checkout@v2 + uses: actions/checkout@v3 - name: Check formatting run: | rustup component add rustfmt @@ -35,11 +35,12 @@ jobs: runs-on: ubuntu-latest steps: - name: Check out the repo - uses: actions/checkout@v2 + uses: actions/checkout@v3 - name: Set up Java - uses: actions/setup-java@v1 + uses: actions/setup-java@v3 with: java-version: '15' + distribution: 'zulu' - name: Set up the environment run: python x.py setup - name: Cache cargo @@ -56,11 +57,12 @@ jobs: runs-on: ubuntu-latest steps: - name: Check out the repo - uses: actions/checkout@v2 + uses: actions/checkout@v3 - name: Set up Java - uses: actions/setup-java@v1 + uses: actions/setup-java@v3 with: java-version: '15' + distribution: 'zulu' - name: Set up the environment run: python x.py setup - name: Cache cargo @@ -77,7 +79,7 @@ jobs: runs-on: ubuntu-latest steps: - name: Check out the repo - uses: actions/checkout@v2 + uses: actions/checkout@v3 - name: Check and report illegal extern crate. run: | python ./x.py check-smir @@ -91,11 +93,12 @@ jobs: PRUSTI_CACHE_PATH: ${{ github.workspace }}/prusti_cache.bin steps: - name: Check out the repo - uses: actions/checkout@v2 + uses: actions/checkout@v3 - name: Set up Java - uses: actions/setup-java@v1 + uses: actions/setup-java@v3 with: java-version: '15' + distribution: 'zulu' - name: Set up the environment run: python x.py setup - name: Cache cargo @@ -117,11 +120,12 @@ jobs: PRUSTI_CACHE_PATH: ${{ github.workspace }}/prusti_cache.bin steps: - name: Check out the repo - uses: actions/checkout@v2 + uses: actions/checkout@v3 - name: Set up Java - uses: actions/setup-java@v1 + uses: actions/setup-java@v3 with: java-version: '15' + distribution: 'zulu' - name: Set up the environment run: python x.py setup - name: Cache cargo @@ -215,15 +219,16 @@ jobs: PRUSTI_CACHE_PATH: ${{ github.workspace }}/prusti_cache.bin steps: - name: Check out the repo - uses: actions/checkout@v2 + uses: actions/checkout@v3 - name: Set up Python 3 - uses: actions/setup-python@v2 + uses: actions/setup-python@v4 with: python-version: '3.x' - name: Set up Java - uses: actions/setup-java@v1 + uses: actions/setup-java@v3 with: java-version: '15' + distribution: 'zulu' - name: Set up the environment run: python x.py setup - name: Cache cargo @@ -266,11 +271,12 @@ jobs: if: false steps: - name: Check out the repo - uses: actions/checkout@v2 + uses: actions/checkout@v3 - name: Set up Java - uses: actions/setup-java@v1 + uses: actions/setup-java@v3 with: java-version: '15' + distribution: 'zulu' - name: Set up the environment run: python x.py setup - name: Cache cargo @@ -297,15 +303,16 @@ jobs: shard_index: [0, 1, 2, 3] steps: - name: Check out the repo - uses: actions/checkout@v2 + uses: actions/checkout@v3 - name: Setup Python 3 - uses: actions/setup-python@v2 + uses: actions/setup-python@v4 with: python-version: '3.x' - name: Set up Java - uses: actions/setup-java@v1 + uses: actions/setup-java@v3 with: java-version: '15' + distribution: 'zulu' - name: Set up the environment run: python x.py setup - name: Cache cargo diff --git a/.github/workflows/update-deps.yml b/.github/workflows/update-deps.yml index 398dc65a13a..33a6cb9bf37 100644 --- a/.github/workflows/update-deps.yml +++ b/.github/workflows/update-deps.yml @@ -12,7 +12,7 @@ jobs: runs-on: ubuntu-latest steps: - name: Check out the repo - uses: actions/checkout@v2 + uses: actions/checkout@v3 - name: Cache cargo uses: Swatinem/rust-cache@v2