Skip to content
formal verification

[testnet] rescue tools takes a list of validator registrations (#302) #937

Sign in to view logs

[testnet] rescue tools takes a list of validator registrations (#302)

[testnet] rescue tools takes a list of validator registrations (#302) #937

Run time

Learn about OS pricing on GitHub Actions
Job Run time
formal
8m 27s
8m 27s