Skip to content
CI

fix(pm): check-widening-tells T2 asks which construct encloses the element before asserting a closed set #37444

Sign in to view logs

fix(pm): check-widening-tells T2 asks which construct encloses the element before asserting a closed set

fix(pm): check-widening-tells T2 asks which construct encloses the element before asserting a closed set #37444

Triggered via pull request September 21, 2026 02:55
@os-steveos-steve
synchronize #19438
claude/issue-19384-t2-closed-set-opener
Status Success
Total duration 12m 56s
Artifacts –

ci.yml

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

Annotations

9 notices
filter
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Dogfood Regression Gate
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Test Core (6/6)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Test Core (5/6)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Test Core (3/6)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Test Core (4/6)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Test Core (2/6)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Test Core (1/6)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Test Core
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"