Skip to content
Halmos

Fix invariants in CI #118

Sign in to view logs

Fix invariants in CI

Fix invariants in CI #118

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

halmos.yml

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