Skip to content
formal verification

Account implementation and identities #4801

Sign in to view logs

Account implementation and identities

Account implementation and identities #4801

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

formal-verification.yml

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