diff options
Diffstat (limited to '.github/workflows/ci.yml')
-rw-r--r-- | .github/workflows/ci.yml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index ece3b09..4a9de0b 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -102,6 +102,9 @@ jobs: - name: 'Publish math-${{ matrix.project }}' uses: docker/build-push-action@v3 with: + # Without context, .dockerignore is not respected? + # https://stackoverflow.com/a/74552407/514684 + context: . file: '${{ matrix.project }}/Dockerfile' platforms: '${{ steps.platforms.outputs.platforms }}' push: ${{ github.ref == 'refs/heads/master' }} |