diff options
| author | Karl Berry <karl@freefriends.org> | 2024-02-15 01:36:29 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2024-02-15 01:36:29 +0000 |
| commit | fa4e952c73de3fa2e62470cc8bc7fe6226a2ed2f (patch) | |
| tree | b98cf00071ba88fad49c5b35a165acfe862bc41e /Build/source/.github/workflows | |
| parent | c80bccd8fb3862f77151561e3cbb68fafdad58f3 (diff) | |
doc,sync,c2b
git-svn-id: svn://tug.org/texlive/trunk@69893 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/.github/workflows')
| -rw-r--r-- | Build/source/.github/workflows/main.yml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Build/source/.github/workflows/main.yml b/Build/source/.github/workflows/main.yml index ffc3096ea56..3472666bcc0 100644 --- a/Build/source/.github/workflows/main.yml +++ b/Build/source/.github/workflows/main.yml @@ -16,7 +16,9 @@ # /home/norbert/git-svn-repos/git-svn-syncer --new texlive-source # # A build is started with every commit. If a commit happens while a -# build is running, the build is cancelled and a new one started. +# build is running, somtimes the build is cancelled and a new one +# started, and other times the new build waits until the old one is +# complete? Seems mysterious. # # See tlpkg/bin/tl-update-bindir for retrieving the binaries, which is # done only when a release is tagged, not from the |