Revert "TEST: base push to local registry"

This reverts commit 22a7e2c.

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,13 +15,6 @@ 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
@@ -36,17 +29,15 @@ 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
@@ -59,12 +50,9 @@ jobs:
         with:
           idris-version: ${{ inputs.idris-version }}
           push: true
-          tags: ${{ env.TAG }}
+          tags: ghcr.io/${{ github.repository }}/base:${{ inputs.idris-version }}
           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 }}
@@ -108,4 +96,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: false
+          push: true