Repository navigation

ci(k9): make a failing K9 gate legible (follow-up to #1143) - #1144

Merged

hyperpolymath merged 8 commits into

mainfrom

arena/01a10407-standards

Oct 4, 2026

Commits on Oct 4, 2026

feat(k9): normative Nickel contract, canonical validator, conformance suite (#1058, D173)
arena-agent
committed
b256bbe
ci(k9): mirror validator output to the job summary
arena-agent
committed
6a3b9b4
ci(k9): publish the validator verdict as a pull-request comment
arena-agent
committed
40783e8
fix(k9): the contract never typechecked, and the negative controls could not fail
arena-agent
committed
5387bf2
ci(k9): raise failures as check-run annotations; fix the report update
arena-agent
committed
d0fb0f7
ci(k9): always post the report instead of trying to update it
arena-agent
committed
99b8fdd
ci(k9): one annotation per failure, and always post the report
arena-agent
committed
9ae1c93
Merge branch 'main' into arena/01a10407-standards
hyperpolymath
authored
9c971da