Skip to content
Halmos

Fix invariants in CI #122

Sign in to view logs

Fix invariants in CI

Fix invariants in CI #122

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

halmos.yml

on: pull_request
verify
6m 49s
verify
Fit to window
Zoom out
Zoom in