Skip to content
HOL-Light

Use 'raw' assembly in main source tree #66

Sign in to view logs

Use 'raw' assembly in main source tree

Use 'raw' assembly in main source tree #66

Triggered via pull request February 5, 2025 04:17
@hanno-beckerhanno-becker
synchronize #740
simpasm_move
Status Cancelled
Total duration 4m 3s
Billable time 8m
Artifacts –

hol_light.yml

on: pull_request
Matrix: hol_light_proofs
Fit to window
Zoom out
Zoom in

Annotations

2 errors
HOL Light proof for mlkem_ntt.S
Canceling since a higher priority waiting request for 'HOL-Light-refs/pull/740/merge' exists
HOL Light proof for mlkem_intt.S
Canceling since a higher priority waiting request for 'HOL-Light-refs/pull/740/merge' exists