Skip to content
Spec Liveness Check

docs(spec): state the transition-gate vs invariant boundary at each declaration #12706

Sign in to view logs

docs(spec): state the transition-gate vs invariant boundary at each declaration

docs(spec): state the transition-gate vs invariant boundary at each declaration #12706

Run time

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