Skip to content
formal verification

Account implementation and identities #4798

Sign in to view logs

Account implementation and identities

Account implementation and identities #4798

Triggered via pull request September 19, 2024 22:33
@ernestognwernestognw
synchronize #5182
ernestognw:account
Status Success
Total duration 1m 8s
Artifacts –

formal-verification.yml

on: pull_request
apply-diff
4s
apply-diff
verify
0s
verify
halmos
57s
halmos
Fit to window
Zoom out
Zoom in