Skip to content
Halmos

Fix invariants in CI #121

Sign in to view logs

Fix invariants in CI

Fix invariants in CI #121

Triggered via pull request November 24, 2024 17:25
@QGarcheryQGarchery
synchronize #706
ci/fix-invariant
Status Success
Total duration 7m 34s
Artifacts –

halmos.yml

on: pull_request
verify
7m 25s
verify
Fit to window
Zoom out
Zoom in