Keep .git dir

AlecThomson · Jul 31, 2024 · cb74ea4 · cb74ea4
1 parent 2713fd5
commit cb74ea4
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
@@ -65,6 +65,8 @@ jobs:
  push: ${{ github.event_name != 'pull_request' }}
  tags: ${{ steps.meta.outputs.tags }}
  labels: ${{ steps.meta.outputs.labels }}
+ build-args: |
+ BUILDKIT_CONTEXT_KEEP_GIT_DIR=true
  -
  name: Build and push MPICH
  uses: docker/build-push-action@v5
@@ -75,3 +77,5 @@ jobs:
  tags: ${{ steps.meta.outputs.tags }}_MPICH
  labels: ${{ steps.meta.outputs.labels }}
  file: ./Dockerfile.mpich
+ build-args: |
+ BUILDKIT_CONTEXT_KEEP_GIT_DIR=true