Fix path

.github/workflows/docker-build-and-push.yaml

@@ -20,30 +20,22 @@ jobs:
 
     env:
       REGISTRY: docker.io
-      IMAGE_NAME: niccolon/raptor-deps:mlir0c2701f
+      IMAGE_NAME: niccolon/raptor-deps-mlir0c2701f
 
     steps:
       - name: Checkout repository
-        uses: actions/checkout@v4
-        with:
-          github-server-url: https://chef.heaplab.deib.polimi.it/git
-          repository: nnicolosi/Raptor-Containers
-
-      - name: Build Docker image
         run: |
-          cd ${GITHUB_WORKSPACE}/mlir0c2701f
-          docker build -t ${REGISTRY}/${IMAGE_NAME} -f Dockerfile .
+          git clone --depth 1 --branch ${GITHUB_REF_NAME} \
+            https://chef.heaplab.deib.polimi.it/git/${GITHUB_REPOSITORY}.git \
+            ${GITHUB_WORKSPACE}
 
-      - name: Log in to the Container registry
-        if: ${{ github.ref == 'refs/heads/main' }}
-        uses: docker/login-action@9780b0c442fbb1117ed29e0efdff1e18412f7567
+      - name: Build and Push with Kaniko
+        uses: aevea/action-kaniko@master
         with:
-          registry: ${{ env.REGISTRY }}
+          image: niccolon/raptor-deps-mlir0c2701f
+          path: ./mlir0c2701f
+          build_file: Dockerfile
           username: niccolon
           password: ${{ secrets.DOCKERHUB_TOKEN }}
-
-      - name: Push Docker image
-        if: ${{ github.ref == 'refs/heads/main' }}
-        id: push
-        run: |
-          docker push ${REGISTRY}/${IMAGE_NAME}
+          # Extra args to handle the specific environment
+          extra_args: "--snapshot-mode=redo --use-new-run"