workflow: use current copy of repo for docker instead of cloning

2026-10-03 16:27:46 +08:00 · 2022-05-28 16:30:28 -04:00
parent cb28a86492
commit 2a56d00416
4 changed files with 16 additions and 15 deletions
@@ -62,11 +62,10 @@ jobs:
        name: Build and push
        uses: docker/build-push-action@v2
        with:
-          context: ./docker/${{ matrix.docker_path }}
+          context: .
          push: true
          platforms: ${{ matrix.docker_platforms }}
-          build-args: |
-            CACHE_DATE=${{ github.head_ref }}.${{ github.sha }}
+          file: ./docker/${{ matrix.docker_path }}/Dockerfile
          tags: introlab3it/rtabmap_ros:${{ matrix.docker_tag }}
          cache-from: type=registry,ref=introlab3it/rtabmap_ros:${{ matrix.docker_tag }}
          cache-to: type=inline