5c: the build and the release pipeline #48

Merged
lilleman merged 5 commits from release-pipeline into main 2026-09-04 09:24:37 +02:00
Owner

Emits dist/ with types, wires publish-on-version-change, freezes the code list behind a test, and narrows the README's fixpoint claim.

Emits dist/ with types, wires publish-on-version-change, freezes the code list behind a test, and narrows the README's fixpoint claim.
lilleman added 1 commit 2026-09-03 20:26:28 +02:00
5c: the build, the freeze audit and the release pipeline
CI / gate (push) Successful in 11s
CI / publish (push) Has been skipped
d9056973a1
lilleman force-pushed release-pipeline from ece1b029ee to d9056973a1 2026-09-03 20:26:28 +02:00 Compare
lilleman added 1 commit 2026-09-04 08:41:15 +02:00
5c: report the depth cause from the guards, and make the publish converge
CI / gate (push) Successful in 7m12s
CI / publish (push) Has been skipped
0dfcc0f9ca
lilleman added 1 commit 2026-09-04 08:53:03 +02:00
5c: match the mark set's nesting on both sides of the round-trip
CI / gate (push) Successful in 8m35s
CI / publish (push) Has been skipped
67df1e2f4b
lilleman added 1 commit 2026-09-04 09:03:32 +02:00
5c: install the packed artifact offline so the gate needs no registry
CI / gate (push) Successful in 42s
CI / publish (push) Has been skipped
7612feb75e
lilleman added 1 commit 2026-09-04 09:19:11 +02:00
5c: keep the mark nesting explanation in one place
CI / gate (push) Successful in 5m13s
CI / publish (push) Has been skipped
b58f51f846
lilleman changed title from WIP: 5: the build and the release pipeline to 5c: the build and the release pipeline 2026-09-04 09:24:37 +02:00
lilleman merged commit e9a70ac8f6 into main 2026-09-04 09:24:37 +02:00
Sign in to join this conversation.
No Reviewers
No Label
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: larvit/adf-codec#48