Do not trigger CI workflow when pushing release tags

This is not necessary, and wastes action runs.
This commit is contained in:
Alejandro González 2023-07-25 20:49:39 +02:00 committed by Josh Holmer
parent 1cc45346bf
commit df0aa1e6c0

View file

@ -15,8 +15,8 @@ jobs:
runs-on: ${{ matrix.os }} runs-on: ${{ matrix.os }}
timeout-minutes: 60 timeout-minutes: 60
# Prevent in-repo PRs from running the same jobs twice # Prevent tags and in-repo PRs from triggering this workflow more than once for a commit
if: github.event_name != 'pull_request' || github.event.pull_request.head.repo.fork if: github.ref_type != 'tag' && (github.event_name != 'pull_request' || github.event.pull_request.head.repo.fork)
strategy: strategy:
fail-fast: false fail-fast: false
@ -157,8 +157,8 @@ jobs:
runs-on: ubuntu-latest runs-on: ubuntu-latest
timeout-minutes: 30 timeout-minutes: 30
# Prevent in-repo PRs from running the same jobs twice # Prevent tags and in-repo PRs from triggering this workflow more than once for a commit
if: github.event_name != 'pull_request' || github.event.pull_request.head.repo.fork if: github.ref_type != 'tag' && (github.event_name != 'pull_request' || github.event.pull_request.head.repo.fork)
steps: steps:
- name: Checkout source - name: Checkout source