Skip to content
Spec Liveness Check

fix(spec): the protocol 17 → 18 conversion summaries state each decision in words instead of a tracker number (stage 5) #18789

Sign in to view logs

fix(spec): the protocol 17 → 18 conversion summaries state each decision in words instead of a tracker number (stage 5)

fix(spec): the protocol 17 → 18 conversion summaries state each decision in words instead of a tracker number (stage 5) #18789

Run time

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