Skip to content
Spec Liveness Check

feat(spec): register the 13 orphan dogfood proofs — five advance the ADR-0054 ratchet, eight say why they can't #1732

Sign in to view logs

feat(spec): register the 13 orphan dogfood proofs — five advance the ADR-0054 ratchet, eight say why they can't

feat(spec): register the 13 orphan dogfood proofs — five advance the ADR-0054 ratchet, eight say why they can't #1732

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Spec property liveness
27s
27s