Use version tags instead of hashes

whatever

Author: joshuanianji

.github/actions/build-image/action.yml

@@ -33,7 +33,7 @@ runs:
       uses: ./.github/actions/get-idris-sha
 
     - name: Build Image
-      uses: docker/build-push-action@c56af957549030174b10d6867f20e78cfd7debc5
+      uses: docker/build-push-action@v4.1.1
       with:
         context: .
         file: ${{ inputs.dockerfile }}.Dockerfile

.github/actions/deploy-image/action.yml

@@ -49,7 +49,7 @@ runs:
       uses: ./.github/actions/get-idris-sha
 
     - name: Login to GHCR
-      uses: docker/login-action@40891eba8c2bcd1309b07ba8b11232f313e86779
+      uses: docker/login-action@v2.2.0
       with:
         registry: ghcr.io
         username: ${{ github.actor }}
@@ -62,7 +62,7 @@ runs:
         images: ghcr.io/${{ inputs.image-name }}
 
     - name: Build and push
-      uses: docker/build-push-action@c56af957549030174b10d6867f20e78cfd7debc5
+      uses: docker/build-push-action@v4.1.1
       with:
         context: .
         platforms: linux/arm64,linux/amd64