From cc990dc89e19e22bfffab710ea885ac130647f66 Mon Sep 17 00:00:00 2001 From: Torben Nehmer Date: Fri, 16 Oct 2026 12:34:26 +0200 Subject: [PATCH] =?UTF-8?q?instructions/dev:=20publish-and-ci=20-=20Wartez?= =?UTF-8?q?eit=20z=C3=A4hlt=20ab=20freiem=20Runner=20statt=20ab=20Push;=20?= =?UTF-8?q?offene=20L=C3=A4ufe=20eines=20fr=C3=BCheren=20Pushs=20zuerst,?= =?UTF-8?q?=20Runner=20h=C3=A4lt=20die=20Push-Reihenfolge=20nicht=20ein;?= =?UTF-8?q?=2010.1.0-beta.20?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Files changed: - CHANGES.md - VERSION - instructions/dev/publish-and-ci.md Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_01SnAJ7Z3CpVD3PRbN73QtU2 --- CHANGES.md | 3 ++- VERSION | 2 +- instructions/dev/publish-and-ci.md | 5 +++++ 3 files changed, 8 insertions(+), 2 deletions(-) diff --git a/CHANGES.md b/CHANGES.md index 06407bb..14ae7e7 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -14,7 +14,7 @@ place only: `instructions/dev/version-parts.md` § The candidate model. --- -## 10.1.0-beta.19 - 2026-10-16 - publish-and-ci: hält fest, dass der Runner derzeit keine parallelen Jobs fährt, und dass die Wartezeiten neu zu messen sind, sobald er es tut +## 10.1.0-beta.20 - 2026-10-16 - publish-and-ci: Wartezeit zählt ab freiem Runner, nicht ab dem Push - offene Läufe eines früheren Pushs laufen zuerst, und der Runner hält die Push-Reihenfolge nicht ein **Author:** Torben Nehmer @@ -41,6 +41,7 @@ place only: `instructions/dev/version-parts.md` § The candidate model. - export run/upload collect: Fehlertexte im Kommandovertrag nennen die Backup-Ordner statt backup.target und die Laufzeit-Ablehnung von Backup- und Exportdaten (#216) - publish-and-ci: CI-Wartezeiten auf gemessene Laufzeiten gesetzt - ein Runner, Jobs nacheinander, ca. 12 Min bis zum letzten grünen Lauf (Konverter ca. 22), Aufgeben nach 25 (35) statt 15 Min - publish-and-ci: hält fest, dass der Runner derzeit keine parallelen Jobs fährt, und dass die Wartezeiten neu zu messen sind, sobald er es tut +- publish-and-ci: Wartezeit zählt ab freiem Runner, nicht ab dem Push - offene Läufe eines früheren Pushs laufen zuerst, und der Runner hält die Push-Reihenfolge nicht ein ### Konverter-Tests gegen echte Dokumente im privaten Repository diff --git a/VERSION b/VERSION index c88cf0c..e5055b1 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -10.1.0-beta.19 +10.1.0-beta.20 diff --git a/instructions/dev/publish-and-ci.md b/instructions/dev/publish-and-ci.md index 4892635..f71f702 100644 --- a/instructions/dev/publish-and-ci.md +++ b/instructions/dev/publish-and-ci.md @@ -55,6 +55,11 @@ formality after it - which is why waiting for it belongs to the phase that wrote - Check again after about 11 minutes, then every 2 minutes. - **Give up after 25 minutes** - twice the usual time, so a slow day is not mistaken for a hang - and hand the open runs to the user by id and link, rather than waiting on. + - **Count from when the runner is free, not from the push.** Runs of an earlier push that are + still open when you publish run first, and the runner does not keep push order: it may take + the next push's CI before the earlier push's release run. So list the open runs right after + `publish`; when there are any, the first check and the give-up time start from the moment + the last of them finishes. - Any shell loop that polls instead must **end on the first non-2xx status or missing field** and print the raw response. A loop that treats an error as "not finished yet" never ends; that happened in the #139 close-out.