Skip to content
formal verification

[testnet] rescue tools takes a list of validator registrations #931

Sign in to view logs

[testnet] rescue tools takes a list of validator registrations

[testnet] rescue tools takes a list of validator registrations #931

Run time

Learn about OS pricing on GitHub Actions
Job Run time
formal
5m 37s
5m 37s