Use docker/build-push-action@v5

Author: joshuanianji

.github/actions/build-base-img/action.yml

@@ -35,7 +35,7 @@ runs:
       uses: ./.github/actions/get-idris-sha
 
     - name: Build Base (versioned)
-      uses: docker/build-push-action@v4.1.1
+      uses: docker/build-push-action@v5
       if: ${{ inputs.idris-version != 'latest' }}
       with:
         context: .
@@ -53,7 +53,7 @@ runs:
         cache-to: type=gha,mode=max,scope=build-base-${{ inputs.idris-version }}
 
     - name: Build Base (latest)
-      uses: docker/build-push-action@v4.1.1
+      uses: docker/build-push-action@v5
       if: ${{ inputs.idris-version == 'latest' }}
       with:
         context: .

.github/actions/build-devcontainer-img/action.yml

@@ -43,7 +43,7 @@ runs:
 
     - name: Build Devcontainer (versioned)
       if: ${{ inputs.idris-lsp-version != 'latest' }}
-      uses: docker/build-push-action@v4.1.1
+      uses: docker/build-push-action@v5
       with:
         context: .
         file: devcontainer.Dockerfile
@@ -61,7 +61,7 @@ runs:
 
     - name: Build Devcontainer (latest)
       if: ${{ inputs.idris-lsp-version == 'latest' }}
-      uses: docker/build-push-action@v4.1.1
+      uses: docker/build-push-action@v5
       with:
         context: .
         file: devcontainer-sha.Dockerfile

.github/workflows/version-base-build-test.yml

@@ -144,7 +144,7 @@ jobs:
         run: docker image ls
 
       - name: Build ${{ matrix.dockerfile}}
-        uses: docker/build-push-action@v4.1.1
+        uses: docker/build-push-action@v5
         with:
           context: .
           file: ${{ matrix.dockerfile }}.Dockerfile

.github/workflows/version-base-deploy.yml

@@ -87,7 +87,7 @@ jobs:
           images: ${{ github.repository }}/${{ matrix.dockerfile }}
 
       - name: Build ${{ matrix.dockerfile}}
-        uses: docker/build-push-action@v4.1.1
+        uses: docker/build-push-action@v5
         with:
           context: .
           platforms: linux/amd64,linux/arm64