Skip to content
Halmos

Fix invariants in CI #117

Sign in to view logs

Fix invariants in CI

Fix invariants in CI #117

Triggered via pull request November 24, 2024 15:14
@QGarcheryQGarchery
opened #706
ci/fix-invariant
Status Success
Total duration 7m 30s
Artifacts –

halmos.yml

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