Skip to content
Spec Liveness Check

feat(spec)!: publish the two named refinement patterns the runtime already enforces #15955

Sign in to view logs

feat(spec)!: publish the two named refinement patterns the runtime already enforces

feat(spec)!: publish the two named refinement patterns the runtime already enforces #15955

Run time

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