Skip to content

feat(semantics): bind three bounded producer forms and share the blocker taxonomy #6670

feat(semantics): bind three bounded producer forms and share the blocker taxonomy

feat(semantics): bind three bounded producer forms and share the blocker taxonomy #6670

Triggered via pull request September 18, 2026 02:24
Status Cancelled
Total duration 39m 56s
Artifacts 4

python-tests.yml

on: pull_request
Matrix: stage2c-suite
Matrix: test-shard
kernel-static-checks
15m 15s
kernel-static-checks
dashboard-acceptance
3m 3s
dashboard-acceptance
node-minimum-compatibility
4m 1s
node-minimum-compatibility
windows-powershell
5m 42s
windows-powershell
presentation
0s
presentation
node-forward-compatibility
4m 25s
node-forward-compatibility
stage2c-correctness-e2e
3s
stage2c-correctness-e2e
merge-gate
7s
merge-gate
sonar  /  SonarCloud analysis (non-blocking)
sonar / SonarCloud analysis (non-blocking)
Fit to window
Zoom out
Zoom in

Annotations

5 errors and 17 notices
kernel-static-checks
The job has exceeded the maximum execution time of 15m0s
kernel-static-checks
The operation was canceled.
checks
Process completed with exit code 1.
pytest
Process completed with exit code 1.
merge-gate
Process completed with exit code 1.
changes
"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"
node-forward-compatibility
"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"
node-minimum-compatibility
"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"
stage2c (e2e 1)
"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-shard (4)
"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"
stage2c (installed 0)
"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"
dashboard-acceptance
"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"
stage2c (mutants 0)
"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"
kernel-static-checks
"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"
stage2c (e2e 2)
"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"
checks
"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"
stage2c-correctness-e2e
"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-shard (2)
"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-shard (1)
"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-shard (3)
"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"
pytest
"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"
merge-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"

Artifacts

Produced during runtime
Name Size Digest
stage2c-correctness-evidence-e2e-1
1.09 MB
sha256:9d86ce2f3b50ed71b864027656eee4fab3f2729dffbddfb6b3a56790acfd6fe5
stage2c-correctness-evidence-e2e-2
1.26 MB
sha256:e9ccd33f3b5edbc23dd2c35db4c1e4cbab67dcdcd9ab0d1d8ec487e3874ef5f8
stage2c-correctness-evidence-installed-0
23.2 KB
sha256:e43e07ccdcaff7b53c3428999b2328156cbe91c15c43bb02f56b39a224626ecb
stage2c-correctness-evidence-mutants-0
190 KB
sha256:6b512e030d160847df567e6b75ab8b6d05ab21ab1d70957a39b5c66c6406684d