diff options
author | Norbert Preining <preining@logic.at> | 2024-01-17 23:55:47 +0000 |
---|---|---|
committer | Norbert Preining <preining@logic.at> | 2024-01-17 23:55:47 +0000 |
commit | 1ecb04b56c2202c4ce6693901d82c58b6f9f51da (patch) | |
tree | a6ba6e2e67c4f5c5084d38fc3583389bc7e57b7c | |
parent | 5035efb71ab96c5066cc16cdabf7b1b336558145 (diff) |
gh actions: only build on trunk, cancel in progress
git-svn-id: svn://tug.org/texlive/trunk@69474 c570f23f-e606-0410-a88d-b1316a301751
-rw-r--r-- | Build/source/.github/workflows/main.yml | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/Build/source/.github/workflows/main.yml b/Build/source/.github/workflows/main.yml index ae8b2a0d9e3..88cf522d8ac 100644 --- a/Build/source/.github/workflows/main.yml +++ b/Build/source/.github/workflows/main.yml @@ -28,8 +28,15 @@ # * it would be nice if we could adjust the docker action usage # to override the dockerfile but this seems not to be possible at the moment -on: [push] +# only build on pushed to trunk +on: + push: + branches: + - trunk +concurrency: + group: ${{ github.workflow }}-${{ github.ref }} + cancel-in-progress: true jobs: build_job: |