diff options
| author | Egor Tensin <egor@tensin.name> | 2026-03-01 07:59:20 +0100 |
|---|---|---|
| committer | Egor Tensin <egor@tensin.name> | 2026-03-01 07:59:20 +0100 |
| commit | d7cec3de03ae79735f64b263112a6b533f5a9992 (patch) | |
| tree | d82deebbb4c025be8152ef5f53f7f60f60bc06e7 /.github | |
| parent | Merge pull request #1 from egor-tensin/dependabot/github_actions/actions/uplo... (diff) | |
| download | math-server-d7cec3de03ae79735f64b263112a6b533f5a9992.tar.gz math-server-d7cec3de03ae79735f64b263112a6b533f5a9992.zip | |
workflows/ci: remove on: pull_request
Why do I even need this? on: push covers everything I need
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' |