Repository navigation
HOL Light: Fail bytecode update if a proof's bytecode is not dumped - #1497
Draft
mkannwischer wants to merge 1 commit into
Draft
mkannwischer wants to merge 1 commit into
mkannwischer wants to merge 1 commit into
DCO-2 / DCO
succeeded
Oct 25, 2026 in 1s
Check passed!
All commits are signed off, the check passed.
Summary
| Sha | Message | Pass or fail reason | |
|---|---|---|---|
| 🟢 | 1576d3e | HOL Light: Fail bytecode update if a proof's bytec... | Valid sign-off found |
Loading