HOL-Light

Use 'raw' assembly in main source tree #82

Sign in to view logs

Triggered via pull request February 5, 2025 06:07

synchronize #740

simpasm_move

Status Cancelled

Total duration 1h 7m 38s

Billable time 1h 52m

Artifacts –

hol_light.yml

on: pull_request

Matrix: hol_light_proofs

Annotations

1 error

HOL Light proof for mlkem_intt.S

Canceling since a higher priority waiting request for 'HOL-Light-refs/pull/740/merge' exists