Skip to content
Halmos

Merge pull request #706 from morpho-org/ci/fix-invariant #124

Sign in to view logs

Merge pull request #706 from morpho-org/ci/fix-invariant

Merge pull request #706 from morpho-org/ci/fix-invariant #124

Triggered via push November 25, 2024 13:53
@MathisGDMathisGD
pushed abeb928
main
Status Success
Total duration 7m 24s
Artifacts –

halmos.yml

on: push
verify
7m 14s
verify
Fit to window
Zoom out
Zoom in