HOL-Light: Add proof for x86_64 poly_tobytes #672
Triggered via pull request
December 16, 2025 11:42
hanno-becker
Status
Success
Total duration
4h 10m 16s
Artifacts
–
hol_light.yml
on: pull_request
AArch64 HOL-Light bytecode check
4m 49s
x86_64 HOL-Light bytecode check
6m 34s
AArch64 HOL-Light interactive shell test
8m 29s
Matrix: hol_light_proofs
x86_64 HOL-Light interactive shell test
25m 53s
Matrix: hol_light_proofs_x86_64