Record the commit the job actually checked out, not GITHUB_SHA - #255

Merged

TR1LON merged 5 commits into

mainfrom

revision-from-checkout

Sep 23, 2026

Commits on Sep 21, 2026

Record the commit the job actually checked out, not GITHUB_SHA

TR1LON
and
claude
committed
dbc0030
ci: end-to-end check that a run records the checked-out commit, not GITHUB_SHA

TR1LON
and
claude
committed
9348bfb
ci: run the revision end-to-end check from main.yml (dispatch only)

TR1LON
and
claude
committed
b2f6a2b
Warn, don't silently fall back, when the checked-out commit cannot be read

TR1LON
and
claude
committed
3074a6d
test: checkedOutRevision reports git's error instead of undefined

TR1LON
and
claude
committed
83ef9d3