Skip to content
formal verification

Delegate override vote #5158

Sign in to view logs

Delegate override vote

Delegate override vote #5158

Triggered via pull request October 16, 2024 14:11
@arr00arr00
synchronize #5192
Amxx:feat/delegate-override-vote
Status Success
Total duration 58s
Artifacts –

formal-verification.yml

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