summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNorbert Preining <preining@logic.at>2024-01-17 23:55:47 +0000
committerNorbert Preining <preining@logic.at>2024-01-17 23:55:47 +0000
commit1ecb04b56c2202c4ce6693901d82c58b6f9f51da (patch)
treea6ba6e2e67c4f5c5084d38fc3583389bc7e57b7c
parent5035efb71ab96c5066cc16cdabf7b1b336558145 (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.yml9
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: