Skip to content

Pin sentinel at 1b5e34a and take its fast checks - #289

Merged
crenshawdev merged 1 commit into
mainfrom
kalgan
Oct 21, 2026
Merged

crenshawdev merged 1 commit into
mainfrom
kalgan

Conversation

@crenshawdev

Copy link
Copy Markdown
Member

This moves the .sentinel pin from 34a3c66 to 1b5e34a and copies the kit's ci/fast.yml over ours. 1b5e34a fixes how check.sh runs Miri: it now goes through nextest with each test in its own process, so a test Miri can't run stops only that test instead of the whole binary. The new fast.yml adds gitleaks over the full history, runs the mechanical job on pushes to main as well as pull requests, and drops needs: mechanical from the review, so a failing gate no longer skips it.

SECURITY.md was wrong about CI. It said the mechanical job reports cargo geiger, the fuzz builds and Miri, but the CI install script installs none of them, so check.sh skips all three there. The section now says what CI actually runs, and the full audit's first step says where geiger, the fuzz builds and Miri do run and how to read Miri's results.

No Rust changed. zizmor reports the same single low finding on the new fast.yml as on the old one, the pinned npm install of Claude Code.

1b5e34a runs Miri through nextest, so a test Miri cannot run stops only
itself instead of the whole binary. The kit's fast.yml adds gitleaks,
runs the mechanical job on pushes to main, and no longer holds the
review behind it. SECURITY.md said CI runs cargo geiger, the fuzz builds
and Miri, but CI installs none of them; they run in the full audit.
@github-actions

Copy link
Copy Markdown

No findings.

The full review is encrypted in this run's security-review artifact. Read it with .sentinel/ci/read-review.sh <pull request number>.

@crenshawdev
crenshawdev merged commit 01d29c0 into main Oct 21, 2026
7 checks passed
@crenshawdev
crenshawdev deleted the kalgan branch October 21, 2026 16:09
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