Skip to content
Halmos

Merge pull request #700 from morpho-org/colin@verif/add-morpho-harnes… #103

Sign in to view logs

Merge pull request #700 from morpho-org/colin@verif/add-morpho-harnes…

Merge pull request #700 from morpho-org/colin@verif/add-morpho-harnes… #103

Triggered via push October 28, 2024 15:11
@colin-morphocolin-morpho
pushed 3de2df4
main
Status Success
Total duration 10m 18s
Artifacts –

halmos.yml

on: push
verify
10m 9s
verify
Fit to window
Zoom out
Zoom in