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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
formal
1m 53s
1m 53s