I think i fixed the deploy scripts? [skip ci]

 Ready to merge anyway. whatever.

Author: joshuanianji

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

@@ -60,15 +60,6 @@ jobs:
     strategy:
       matrix:
         dockerfile: [ubuntu, debian]
-    services:
-      registry:
-        image: registry:2
-        ports:
-          - 5000:5000
-    env:
-      # use local registry so we can reference the base image in another dockerfile
-      # https://github.com/docker/build-push-action/issues/738
-      BASE_TAG: localhost:5000/base-${{ inputs.idris-version }}:latest
     steps:
       - name: Checkout Repo
         uses: actions/checkout@v3
@@ -87,13 +78,6 @@ jobs:
           registry: ghcr.io
           username: ${{ github.actor }}
           password: ${{ secrets.GITHUB_TOKEN }}
-      
-      - name: Build Base Image
-        uses: ./.github/actions/build-base-img
-        with:
-          idris-version: ${{ inputs.idris-version }}
-          push: true
-          tags:  ${{ env.BASE_TAG }}
 
       - name: Docker meta
         id: create-meta
@@ -109,6 +93,6 @@ jobs:
           file: ${{ matrix.dockerfile }}.Dockerfile
           build-args: | 
             IDRIS_VERSION=${{ inputs.idris-version }}
-            BASE_IMG=${{ env.BASE_TAG }}
+            BASE_IMG=ghcr.io/${{ github.repository }}/base:${{ inputs.idris-version }}
           tags: ghcr.io/${{ github.repository }}/${{ matrix.dockerfile }}:${{ inputs.idris-version }}
           push: true

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

@@ -51,13 +51,15 @@ jobs:
         uses: docker/metadata-action@v4
         with:
           images: ${{ github.repository }}/devcontainer
-      
+
       - name: Build Devcontainer
         uses: ./.github/actions/build-devcontainer-img
         with:
           idris-lsp-version: ${{ inputs.idris-lsp-version }}
           idris-version: ${{ inputs.idris-version }}
           push: true
           tags: ghcr.io/${{ github.repository }}/base:${{ inputs.idris-lsp-version }}
+          labels: ${{ steps.create-meta.outputs.labels }}
           base-tag: ghcr.io/joshuanianji/idris-2-docker/base:${{ inputs.idris-version }}
+          platforms: linux/arm64,linux/amd64