From d217e3cf22ac9415807c4923c3149136ecb6d058 Mon Sep 17 00:00:00 2001
From: Daniel Larraz <daniel-larraz@users.noreply.github.com>
Date: Mon, 29 Jan 2024 09:17:01 -0600
Subject: [PATCH] Upgrade GitHub actions

---
 .github/workflows/kind2-ci.yml      |  4 ++--
 .github/workflows/kind2-docker.yml  |  6 +++---
 .github/workflows/kind2-nightly.yml | 18 +++++++++---------
 .github/workflows/kind2-release.yml | 16 ++++++++--------
 4 files changed, 22 insertions(+), 22 deletions(-)

diff --git a/.github/workflows/kind2-ci.yml b/.github/workflows/kind2-ci.yml
index b86e5760c..6dfc6b81e 100644
--- 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
index 89a1227a9..8a97e42c9 100644
--- 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
index 8ee510cfb..7f15919a1 100644
--- 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
index 13792eccb..60df16b72 100644
--- 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 }}