Skip to content
Halmos

[Halmos] Setup for verification and first invariants #18

Sign in to view logs

[Halmos] Setup for verification and first invariants

[Halmos] Setup for verification and first invariants #18

Triggered via pull request April 19, 2024 07:37
@QGarcheryQGarchery
synchronize #675
halmos/setup
Status Success
Total duration 10m 34s
Artifacts –

halmos.yml

on: pull_request
verify
10m 24s
verify
Fit to window
Zoom out
Zoom in