Skip to content
formal verification

[move] essential formal verification tests on transfers (#94) #23

Sign in to view logs

[move] essential formal verification tests on transfers (#94)

[move] essential formal verification tests on transfers (#94) #23

Triggered via push November 11, 2023 00:09
@0o-de-lally0o-de-lally
pushed 8389cd6
main
Status Success
Total duration 2m 4s
Artifacts –

formal.yaml

on: push
formal
1m 53s
formal
Fit to window
Zoom out
Zoom in