summaryrefslogtreecommitdiff
path: root/Build/source/.github/workflows/main.yml
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/.github/workflows/main.yml')
-rw-r--r--Build/source/.github/workflows/main.yml4
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