Skip to content

chore(release): 0.1.17 - #108

Merged
rldyourmnd merged 1 commit into
mainfrom
chore/release-0.1.17
Sep 15, 2026
Merged

rldyourmnd merged 1 commit into
mainfrom
chore/release-0.1.17

Conversation

@rldyourmnd

Copy link
Copy Markdown
Contributor

Summary

  • Move the entire Unreleased ledger under ## [0.1.17] - 2026-09-15.
  • Set VERSION to 0.1.17.

After merge: wait for push ci (attempt 1), static validators job, and one of codeql|gitleaks|scorecard; render the public promotion record; annotated SSH-signed tag 0.1.17.

Test plan

  • check_release_ledger.check() locally (heading/VERSION)
  • core static validators on the PR
  • push ci on the merge SHA

Made with Cursor

Move the Unreleased ledger into 0.1.17 so the promotion tag can bind a
complete public evidence record.

Co-authored-by: Cursor <cursoragent@cursor.com>
@github-actions github-actions Bot added ci and removed ci labels Sep 15, 2026
@rldyourmnd
rldyourmnd merged commit b4421b8 into main Sep 15, 2026
28 checks passed
@rldyourmnd
rldyourmnd deleted the chore/release-0.1.17 branch September 15, 2026 13:50
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