Skip to content
Halmos

Merge pull request #689 from morpho-org/certora/improve-assets-accoun… #65

Sign in to view logs

Merge pull request #689 from morpho-org/certora/improve-assets-accoun…

Merge pull request #689 from morpho-org/certora/improve-assets-accoun… #65

Triggered via push September 1, 2024 12:31
@MerlinEgaliteMerlinEgalite
pushed 0448402
main
Status Success
Total duration 4m 53s
Artifacts –

halmos.yml

on: push
verify
4m 44s
verify
Fit to window
Zoom out
Zoom in