Skip to content

records: gate run at 5376656 for v0.1.0-rc.3, PASS - #96

Merged
jbb-kryo merged 1 commit into
mainfrom
records/gate-v0.1.0-rc.3
Nov 12, 2026
Merged

jbb-kryo merged 1 commit into
mainfrom
records/gate-v0.1.0-rc.3

Conversation

@jbb-kryo

Copy link
Copy Markdown
Contributor

Records only, for v0.1.0-rc.3: the gate run CI made of 5376656, the merge of #95 (run 43115813901). Logs and metadata are its gate-acceptance and gate-test artefacts, unedited; CURRENT moved; the status tables and NUMBERS.md regenerated by the scripts. No code or tooling changes.

@phillips1707 phillips1707 left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Approving. These are the gate records for v0.1.0-rc.3, and they match the CI run.

Checked

  • Commit 980331e has a verified signature and sits on 5376656, the merge of #95 and the tip of main.
  • Run 43115813901 was the push to main at 53766566cce6…, and it concluded success. Both "build and test" and "acceptance suite, air-gapped" passed.
  • I downloaded its gate-acceptance and gate-test artefacts. acceptance.log, acceptance.meta, test.log and test.meta are byte-identical to the files committed under gate-runs/5376656…/.
  • Locally, gate-record.sh --check and numbers.sh --check pass on this branch.
  • The record says PASS: 72 of 72 criteria, 1649 passed with 0 failed in just test, 281 in the acceptance suite. It links the GitHub run, and CURRENT points at 5376656. The just test count is the same as rc.2's, since #95's new mg-bundle assertions went into an existing test.
  • Records only: the 9 changed files are the record, its logs, CURRENT, and the generated lines in README.md, GA_READINESS.md and NUMBERS.md.

After merge: tag-release.sh for v0.1.0-rc.3, then a second maintainer approves each signing job.

@jbb-kryo
jbb-kryo merged commit ea5899a into main Nov 12, 2026
6 checks passed
@jbb-kryo
jbb-kryo deleted the records/gate-v0.1.0-rc.3 branch November 12, 2026 00:29
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.

2 participants