Skip to content
tBTC Signer Formal Verification

test(tbtc/signer): pin concrete coordinator vector in order-independence test #28

Sign in to view logs

test(tbtc/signer): pin concrete coordinator vector in order-independence test

test(tbtc/signer): pin concrete coordinator vector in order-independence test #28

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Signer Rust checks
1m 18s
TLA model checks
11s
Signer formal invariants
47s
2m 16s