Skip to content

docs(pm): a spec narrowing may declare Clause-2 yes — the conservative direction is never an error #35104

docs(pm): a spec narrowing may declare Clause-2 yes — the conservative direction is never an error

docs(pm): a spec narrowing may declare Clause-2 yes — the conservative direction is never an error #35104

Triggered via pull request September 14, 2026 05:39
Status Success
Total duration 33s
Artifacts 1

ci.yml

on: pull_request
Matrix: dogfood
Matrix: test
Dogfood Verify CLI
0s
Dogfood Verify CLI
Temporal Conformance (live PG + MySQL)
0s
Temporal Conformance (live PG + MySQL)
Build Core
0s
Build Core
Build Docs
0s
Build Docs
Console Pin Gate
0s
Console Pin Gate
Test Core
12s
Test Core
Dogfood Regression Gate
9s
Dogfood Regression Gate
Fit to window
Zoom out
Zoom in

Annotations

1 error
Test Core
Process completed with exit code 3.

Artifacts

Produced during runtime
Name Size Digest
test-core-timing-table
625 Bytes
sha256:16376955250eb8b9f41f46a73abd8f6787866780da088771878ddb0278b5d696