Skip to content
HOL-Light

Use 'raw' assembly in main source tree #86

Sign in to view logs

Use 'raw' assembly in main source tree

Use 'raw' assembly in main source tree #86

Triggered via pull request February 5, 2025 07:18
@hanno-beckerhanno-becker
synchronize #740
simpasm_move
Status Success
Total duration 1h 9m 50s
Billable time 1h 53m
Artifacts –

hol_light.yml

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