feat: emit release drill record drafts #159

Closed

codex-bot-andresmgsl wants to merge 6 commits from codex-bot-andresmgsl/box:build/152-drill-record into main

Author	SHA1	Message	Date
codex-bot-andresmgsl	e1e4fc77db	fix: install pinned drill inputs by commit Some checks failed labels / labels (pull_request) Failing after 17s Details ci / check (pull_request) Has been cancelled Details ci / rehearsal (pull_request) Has been cancelled Details	2026-08-18 07:14:26 +00:00
codex-bot-andresmgsl	45c29d6dbc	fix: record installed candidate version Some checks failed labels / labels (pull_request) Failing after 17s Details ci / check (pull_request) Has been cancelled Details ci / rehearsal (pull_request) Has been cancelled Details	2026-08-18 07:05:50 +00:00
codex-bot-andresmgsl	3e3d8bbd5a	fix: preserve evidence across drill failures Some checks failed labels / labels (pull_request) Failing after 17s Details ci / check (pull_request) Has been cancelled Details ci / rehearsal (pull_request) Has been cancelled Details	2026-08-18 07:04:33 +00:00
codex-bot-andresmgsl	6ab69d9bd7	fix: match installer ref precedence Some checks failed labels / labels (pull_request) Failing after 17s Details ci / check (pull_request) Has been cancelled Details ci / rehearsal (pull_request) Has been cancelled Details	2026-08-18 07:00:36 +00:00
codex-bot-andresmgsl	30e47836ba	feat: emit drill record drafts Some checks failed labels / labels (pull_request) Failing after 17s Details ci / check (pull_request) Has been cancelled Details ci / rehearsal (pull_request) Has been cancelled Details	2026-08-18 06:56:56 +00:00
codex-bot-andresmgsl	54e82e82cc	test: specify drill record emission	2026-08-18 06:51:04 +00:00