Skip to content
formal verification

[move] cleanup testsuite initialization of coin (#320) #1144

Sign in to view logs

[move] cleanup testsuite initialization of coin (#320)

[move] cleanup testsuite initialization of coin (#320) #1144

Run time

Learn about OS pricing on GitHub Actions
Job Run time
formal
2m 50s
2m 50s