TEST: base push to local registry

check if arm builds are faster now

Author: joshuanianji

.github/workflows/ci.yml

@@ -30,7 +30,7 @@ jobs:
   base-deploy:
     name: Base Deploy - ${{ matrix.idris-version }}
     # only deploy if it's a push to main
-    if: github.event_name == 'schedule' || github.event_name == 'push'
+    # if: github.event_name == 'schedule' || github.event_name == 'push'
     needs: [base-build-test]
     strategy:
       matrix:

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

@@ -15,6 +15,13 @@ jobs:
   deploy-base:
     name: Deploy Base - ${{ inputs.idris-version }}
     runs-on: ubuntu-latest
+    services:
+      registry:
+        image: registry:2
+        ports:
+          - 5000:5000
+    env:
+      TAG: localhost:5000/base-${{ inputs.idris-version }}:latest
     steps:
       - name: Checkout Repo
         uses: actions/checkout@v4
@@ -29,15 +36,17 @@ jobs:
       - name: Set up Docker Buildx
         uses: docker/setup-buildx-action@v3
         with:
+          # since we're using a local registry
+          driver-opts: network=host
           append: |
             - endpoint: ssh://${{ secrets.SSH_USER }}@${{ secrets.SSH_IP }}
 
-      - name: Login to GHCR
-        uses: docker/login-action@v3
-        with:
-          registry: ghcr.io
-          username: ${{ github.actor }}
-          password: ${{ secrets.GITHUB_TOKEN }}
+      # - name: Login to GHCR
+      #   uses: docker/login-action@v3
+      #   with:
+      #     registry: ghcr.io
+      #     username: ${{ github.actor }}
+      #     password: ${{ secrets.GITHUB_TOKEN }}
 
       - name: Docker meta
         id: create-meta
@@ -50,9 +59,12 @@ jobs:
         with:
           idris-version: ${{ inputs.idris-version }}
           push: true
-          tags: ghcr.io/${{ github.repository }}/base:${{ inputs.idris-version }}
+          tags: ${{ env.TAG }}
           labels: ${{ steps.create-meta.outputs.labels }}
           platforms: linux/amd64,linux/arm64
+      
+      - name: Run docker image ls
+        run: docker image ls
 
   deploy-consumers:
     name: Deploy Consumer - ${{ matrix.dockerfile }} ${{ inputs.idris-version }}
@@ -96,4 +108,4 @@ jobs:
             IDRIS_VERSION=${{ inputs.idris-version }}
             BASE_IMG=ghcr.io/${{ github.repository }}/base:${{ inputs.idris-version }}
           tags: ghcr.io/${{ github.repository }}/${{ matrix.dockerfile }}:${{ inputs.idris-version }}
-          push: true
+          push: false