diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index f5e8555..510eb85 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -2,9 +2,6 @@ name: CI on: push: - branches-ignore: - - 'dependabot/**' - pull_request: workflow_dispatch: jobs: @@ -108,5 +105,5 @@ jobs: context: . file: '${{ matrix.project }}/Dockerfile' platforms: '${{ steps.platforms.outputs.platforms }}' - push: ${{ github.event_name == 'push' && github.ref == 'refs/heads/master' }} + push: ${{ github.ref == 'refs/heads/master' }} tags: '${{ secrets.DOCKERHUB_USERNAME }}/math-${{ matrix.project }}:latest' |