Skip to content

Self-contained docs, release workflow, macOS coverage - #3

Merged
plusky merged 2 commits into
mainfrom
chore/self-contained-docs-and-release
Jul 27, 2026
Merged

Self-contained docs, release workflow, macOS coverage#3
plusky merged 2 commits into
mainfrom
chore/self-contained-docs-and-release

Conversation

@plusky

@plusky plusky commented Jul 27, 2026

Copy link
Copy Markdown
Owner

Two changes:

  1. Self-contained code and documentation — drops references to prior implementations and rewrite framing; invariants I5/I10 state their rationale directly, AGENTS.md names DESIGN.md as the sole design authority, and the README clone URL now points at the actual repo.
  2. Release pipeline + macOS — adds a tag-triggered release workflow (hermetic builds for x86_64-unknown-linux-gnu and aarch64-apple-darwin, tar.gz + sha256 artifacts, publish gated on all platforms, tag-vs-version guard) and a rust-macos CI job (clippy + tests on Apple Silicon).

plusky added 2 commits July 27, 2026 15:30
Drop references to prior implementations and rewrite framing:
invariants I5 and I10 now state their rationale directly, AGENTS.md
names DESIGN.md as the sole design authority, doc comments describe
behavior on their own terms, and a test name no longer references
strftime heritage. Also fix the README clone URL to the actual repo.
Tag-triggered release builds (hermetic, no cache) for
x86_64-unknown-linux-gnu and aarch64-apple-darwin publish tar.gz +
sha256 artifacts to a GitHub release once every platform leg succeeds,
with a tag-vs-workspace-version guard. The artifact bundles the binary,
LICENSE, README, and the example guard policy. CI gains a rust-macos
job (clippy + tests on Apple Silicon) so the release target cannot
silently rot between releases.
@plusky
plusky merged commit 488cb74 into main Jul 27, 2026
10 checks passed
@plusky
plusky deleted the chore/self-contained-docs-and-release branch July 27, 2026 13:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant