Update all github actions to their latest version (#1300)

creusot-rs · Dec 11, 2024 · 1dc2332 · 1dc2332
2 parents 739b2d0 + 3736c0a
commit 1dc2332
Show file tree

Hide file tree

Showing 3 changed files with 23 additions and 27 deletions.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -8,9 +8,7 @@ jobs:
   build-guide:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v3
-        with:
-          fetch-depth: 0
+      - uses: actions/checkout@v4
       - name: Install latest mdbook
         run: |
           tag=$(curl 'https://api.github.com/repos/rust-lang/mdbook/releases/latest' | jq -r '.tag_name')
@@ -31,9 +29,7 @@ jobs:
   build-docs:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v3
-      with:
-        fetch-depth: 0
+    - uses: actions/checkout@v4
     - uses: actions/cache@v4
       with:
         path: |
@@ -79,11 +75,11 @@ jobs:
         name: creusot_contracts
         path: ci/deploy-output/doc/
     - name: Setup Pages
-      uses: actions/configure-pages@v2
+      uses: actions/configure-pages@v5
     - name: Upload artifact
-      uses: actions/upload-pages-artifact@v1
+      uses: actions/upload-pages-artifact@v3
       with:
         path: 'ci/deploy-output'
     - name: Deploy to GitHub Pages
       id: deployment
-      uses: actions/deploy-pages@v1
+      uses: actions/deploy-pages@v4
diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml
@@ -7,23 +7,23 @@ jobs:
   build:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v2
-    - uses: actions/cache@v2
+    - uses: actions/checkout@v4
+    - uses: actions/cache@v4
       with:
         path: |
           ~/.cargo/registry
           ~/.cargo/git
           target
         key: ${{ runner.os }}-cargo-${{ hashFiles('**/Cargo.lock') }}
-    - uses: actions/cache@v2
+    - uses: actions/cache@v4
       id: cache-creusot-setup
       with:
         path: |
           ~/.config/creusot
           ~/.local/share/creusot
         key: ${{ runner.os }}-cargo-creusot-setup-${{ hashFiles('creusot-deps.opam', 'creusot-setup/src/tools_versions_urls.rs', 'creusot-setup/src/config.rs') }}
     - name: Install OCaml
-      uses: ocaml/setup-ocaml@v2
+      uses: ocaml/setup-ocaml@v3
       with:
         ocaml-compiler: 4.14.1
         opam-local-packages: ci/creusot-deps-nightly.opam

diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
@@ -13,16 +13,16 @@ jobs:
   fmt:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v2
+    - uses: actions/checkout@v4
     - name: Rust fmt
       run: |
         shopt -s globstar
         rustfmt **/*.rs --check
   contracts-build:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v2
-    - uses: actions/cache@v2
+    - uses: actions/checkout@v4
+    - uses: actions/cache@v4
       with:
         path: |
           ~/.cargo/registry
@@ -34,8 +34,8 @@ jobs:
   build:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v2
-    - uses: actions/cache@v2
+    - uses: actions/checkout@v4
+    - uses: actions/cache@v4
       with:
         path: |
           ~/.cargo/registry
@@ -53,14 +53,14 @@ jobs:
   why3-deps:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v2
-    - uses: actions/cache@v2
+    - uses: actions/checkout@v4
+    - uses: actions/cache@v4
       id: cache-opam
       with:
         path: |
           /home/runner/work/creusot/creusot/_opam
         key: ${{ runner.os }}-opam-${{ hashFiles('creusot-deps.opam') }}
-    - uses: ocaml/setup-ocaml@v2
+    - uses: ocaml/setup-ocaml@v3
       if: steps.cache-opam.outputs.cache-hit != 'true'
       with:
         ocaml-compiler: 4.14.1
@@ -87,20 +87,20 @@ jobs:
     needs: why3-deps
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v2
+    - uses: actions/checkout@v4
       with:
         fetch-depth: ${{ github.event.pull_request.commits }}
     - name: Fetch target branch
       if: github.base_ref
       run: git fetch --no-tags --prune --depth=1 origin +refs/heads/${{github.base_ref}}:refs/remotes/origin/${{github.base_ref}}
-    - uses: actions/cache@v2
+    - uses: actions/cache@v4
       with:
         path: |
           ~/.cargo/registry
           ~/.cargo/git
           target
         key: ${{ runner.os }}-cargo-creusot-${{ hashFiles('**/Cargo.lock') }}
-    - uses: actions/cache@v2
+    - uses: actions/cache@v4
       id: cache-creusot-setup
       with:
         path: |
@@ -130,8 +130,8 @@ jobs:
     needs: why3-deps
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v2
-    - uses: actions/cache@v2
+    - uses: actions/checkout@v4
+    - uses: actions/cache@v4
       with:
         path: |
           ~/.cargo/registry
@@ -142,7 +142,7 @@ jobs:
       run: |
         cargo install --path cargo-creusot
         cargo install --path creusot-rustc
-    - uses: actions/cache@v2
+    - uses: actions/cache@v4
       id: cache-creusot-setup
       with:
         path: |