Skip to content
Halmos

Merge pull request #707 from morpho-org/fix/license-warning #128

Sign in to view logs

Merge pull request #707 from morpho-org/fix/license-warning

Merge pull request #707 from morpho-org/fix/license-warning #128

Triggered via push December 2, 2024 10:35
@MathisGDMathisGD
pushed a4210e9
main
Status Success
Total duration 6m 58s
Artifacts –

halmos.yml

on: push
verify
6m 48s
verify
Fit to window
Zoom out
Zoom in