Skip to content
formal verification

[move] set slow wallet entry function #250

Sign in to view logs

[move] set slow wallet entry function

[move] set slow wallet entry function #250

Triggered via pull request January 14, 2024 19:54
@0o-de-lally0o-de-lally
synchronize #143
0o-de-lally:slow-wallet-alt-fix
Status Success
Total duration 1m 17s
Artifacts –

formal.yaml

on: pull_request
formal
1m 9s
formal
Fit to window
Zoom out
Zoom in