Skip to content
HOL-Light

Use 'raw' assembly in main source tree #84

Sign in to view logs

Use 'raw' assembly in main source tree

Use 'raw' assembly in main source tree #84

Triggered via pull request February 5, 2025 07:14
@hanno-beckerhanno-becker
synchronize #740
simpasm_move
Status Cancelled
Total duration 1m 7s
Billable time 2m
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_intt.S
Canceling since a higher priority waiting request for 'HOL-Light-refs/pull/740/merge' exists
HOL Light proof for mlkem_ntt.S
Canceling since a higher priority waiting request for 'HOL-Light-refs/pull/740/merge' exists