Skip to content
formal verification

Account implementation and identities #4806

Sign in to view logs

Account implementation and identities

Account implementation and identities #4806

Triggered via pull request September 20, 2024 02:05
@ernestognwernestognw
synchronize #5182
ernestognw:account
Status Success
Total duration 56s
Artifacts –

formal-verification.yml

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