Upgrade GitHub actions

daniel-larraz · Jan 29, 2024 · d217e3c · d217e3c
1 parent 102d448
commit d217e3c
Show file tree

Hide file tree

Showing 4 changed files with 22 additions and 22 deletions.
diff --git a/.github/workflows/kind2-ci.yml b/.github/workflows/kind2-ci.yml
@@ -23,7 +23,7 @@ jobs:
 
     steps:
     - name: Checkout code
-      uses: actions/checkout@v3
+      uses: actions/checkout@v4
 
     - name: Update package information
       run: ${{ matrix.pkg_update }}
@@ -66,7 +66,7 @@ jobs:
 
     - name: Upload kind2 artifact
       if: github.event_name == 'push' && github.ref == 'refs/heads/develop'
-      uses: actions/upload-artifact@v3
+      uses: actions/upload-artifact@v4
       with:
         name: kind2-${{ matrix.os }}
         path: bin/kind2
diff --git a/.github/workflows/kind2-docker.yml b/.github/workflows/kind2-docker.yml
@@ -11,7 +11,7 @@ jobs:
 
     steps:
     - name: Checkout code
-      uses: actions/checkout@v3
+      uses: actions/checkout@v4
 
     - name: Docker meta
       id: meta
@@ -21,13 +21,13 @@ jobs:
         echo "tag=$image:$tag" >> $GITHUB_OUTPUT
 
     - name: Log in to Docker Hub
-      uses: docker/login-action@v2
+      uses: docker/login-action@v3
       with:
         username: ${{ secrets.DOCKER_USERNAME }}
         password: ${{ secrets.DOCKER_PASSWORD }}
 
     - name: Push to Docker Hub
-      uses: docker/build-push-action@v3
+      uses: docker/build-push-action@v5
       with:
         push: true
         file: docker/Dockerfile

diff --git a/.github/workflows/kind2-nightly.yml b/.github/workflows/kind2-nightly.yml
@@ -18,15 +18,15 @@ jobs:
 
     steps:
     - name: Checkout code
-      uses: actions/checkout@v3
+      uses: actions/checkout@v4
 
     - name: Set up Docker Buildx
-      uses: docker/setup-buildx-action@v2
+      uses: docker/setup-buildx-action@v3
       with:
         driver-opts: network=host
 
     - name: Build and push to local registry
-      uses: docker/build-push-action@v3
+      uses: docker/build-push-action@v5
       with:
         file: docker/Dockerfile
         context: ./
@@ -36,13 +36,13 @@ jobs:
 
     - name: Extract kind 2 binary
       id: extract
-      uses: shrink/actions-docker-extract@v2
+      uses: shrink/actions-docker-extract@v3
       with:
         image: localhost:5000/name/kind2:latest
         path: /home/opam/kind2-build/bin/kind2
 
     - name: Upload kind2 binary
-      uses: actions/upload-artifact@v3
+      uses: actions/upload-artifact@v4
       with:
         path: ${{ steps.extract.outputs.destination }}
         name: linux
@@ -60,7 +60,7 @@ jobs:
 
     steps:
     - name: Checkout code
-      uses: actions/checkout@v3
+      uses: actions/checkout@v4
 
     - name: Set up OCaml ${{ matrix.ocaml-version }}+flambda
       uses: ocaml/setup-ocaml@v2
@@ -77,7 +77,7 @@ jobs:
       run: strip bin/kind2
 
     - name: Upload Kind 2 binary
-      uses: actions/upload-artifact@v3
+      uses: actions/upload-artifact@v4
       with:
         name: macos
         path: bin/kind2
@@ -89,7 +89,7 @@ jobs:
 
     steps:
     - name: Checkout code
-      uses: actions/checkout@v3
+      uses: actions/checkout@v4
 
     - name: Delete old assets
       env:
@@ -119,7 +119,7 @@ jobs:
 
     steps:
     - name: Download binary
-      uses: actions/download-artifact@v3
+      uses: actions/download-artifact@v4
       with:
         name: ${{ matrix.version }}
 

diff --git a/.github/workflows/kind2-release.yml b/.github/workflows/kind2-release.yml
@@ -18,15 +18,15 @@ jobs:
 
     steps:
     - name: Checkout code
-      uses: actions/checkout@v3
+      uses: actions/checkout@v4
 
     - name: Set up Docker Buildx
-      uses: docker/setup-buildx-action@v2
+      uses: docker/setup-buildx-action@v3
       with:
         driver-opts: network=host
 
     - name: Build and push to local registry
-      uses: docker/build-push-action@v3
+      uses: docker/build-push-action@v5
       with:
         file: docker/Dockerfile
         context: ./
@@ -36,13 +36,13 @@ jobs:
 
     - name: Extract kind 2 binary
       id: extract
-      uses: shrink/actions-docker-extract@v2
+      uses: shrink/actions-docker-extract@v3
       with:
         image: localhost:5000/name/kind2:latest
         path: /home/opam/kind2-build/bin/kind2
 
     - name: Upload kind2 binary
-      uses: actions/upload-artifact@v3
+      uses: actions/upload-artifact@v4
       with:
         path: ${{ steps.extract.outputs.destination }}
         name: linux
@@ -60,7 +60,7 @@ jobs:
 
     steps:
     - name: Checkout code
-      uses: actions/checkout@v3
+      uses: actions/checkout@v4
 
     - name: Set up OCaml ${{ matrix.ocaml-version }}+flambda
       uses: ocaml/setup-ocaml@v2
@@ -77,7 +77,7 @@ jobs:
       run: strip bin/kind2
 
     - name: Upload Kind 2 binary
-      uses: actions/upload-artifact@v3
+      uses: actions/upload-artifact@v4
       with:
         name: macos
         path: bin/kind2
@@ -112,7 +112,7 @@ jobs:
 
     steps:
     - name: Download binary
-      uses: actions/download-artifact@v3
+      uses: actions/download-artifact@v4
       with:
         name: ${{ matrix.version }}