R3
Rolling release / release (push) Successful in 6m16s
CI / verify (push) Successful in 3m51s

This commit is contained in:
2026-09-11 15:05:56 -04:00
parent d1f339170e
commit 9712bed6f3
2 changed files with 16 additions and 10 deletions
+6 -2
View File
@@ -25,11 +25,15 @@ references it as `${{ secrets.RELEASE_TOKEN }}`; the value is never committed.
Each push to `main` runs tests and packaging. The publish script:
1. Deletes the existing release associated with `rolling`, if present.
2. Moves or creates the `rolling` tag at the pushed commit.
2. Deletes and recreates the `rolling` tag at the pushed commit using Gitea's
repository tag API.
3. Creates a prerelease named with the commit prefix.
4. Uploads the `.deb`, extension ZIP, and `SHA256SUMS`.
The moving tag is intentionally mutable. Permanent releases should use reviewed
The moving tag is intentionally mutable. This server's Swagger API exposes tag
replacement as `DELETE /repos/{owner}/{repo}/tags/{tag}` followed by
`POST /repos/{owner}/{repo}/tags`; the publisher uses that contract rather than
the unsupported Git refs patch route. Permanent releases should use reviewed
immutable tags after validating a rolling artifact.
## Local rehearsal