Skip to content
Spec Liveness Check

feat(spec): field runtime value-shape contract — ADR-0104 phase 1 (D1) #1409

Sign in to view logs

feat(spec): field runtime value-shape contract — ADR-0104 phase 1 (D1)

feat(spec): field runtime value-shape contract — ADR-0104 phase 1 (D1) #1409

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Spec property liveness
2m 0s
2m 0s