Update GitHub actions.

viperproject · Aug 4, 2023 · 7661cb4 · 7661cb4
1 parent 863cd59
commit 7661cb4
Show file tree

Hide file tree

Showing 6 changed files with 39 additions and 29 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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