Skip to content
Spec Liveness Check

feat(verify): ADR-0060 P1 — reusable conformance-ledger helper + unify two ledgers #213

Sign in to view logs

feat(verify): ADR-0060 P1 — reusable conformance-ledger helper + unify two ledgers

feat(verify): ADR-0060 P1 — reusable conformance-ledger helper + unify two ledgers #213

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Spec property liveness
1m 44s
1m 44s