Skip to content

fix(semantics): report the formal detail ratios from what the checks … #7287

fix(semantics): report the formal detail ratios from what the checks …

fix(semantics): report the formal detail ratios from what the checks … #7287

Triggered via push September 21, 2026 14:44
Status Cancelled
Total duration 8m 50s
Artifacts 4

python-tests.yml

on: push
Matrix: stage2c-suite
Matrix: test-shard
kernel-static-checks
5m 17s
kernel-static-checks
dashboard-acceptance
3m 31s
dashboard-acceptance
node-minimum-compatibility
5m 16s
node-minimum-compatibility
windows-powershell
5m 6s
windows-powershell
presentation
presentation
node-forward-compatibility
5m 16s
node-forward-compatibility
stage2c-correctness-e2e
4s
stage2c-correctness-e2e
merge-gate
12s
merge-gate
sonar  /  SonarCloud analysis (non-blocking)
sonar / SonarCloud analysis (non-blocking)
Fit to window
Zoom out
Zoom in

Annotations

30 errors and 17 notices
stage2c (e2e 2)
Canceling since a higher priority waiting request for python-tests-refs/heads/main exists
windows-powershell
Canceling since a higher priority waiting request for python-tests-refs/heads/main exists
windows-powershell
The operation was canceled.
node-minimum-compatibility
Canceling since a higher priority waiting request for python-tests-refs/heads/main exists
node-minimum-compatibility
The operation was canceled.
test-shard (3)
Canceling since a higher priority waiting request for python-tests-refs/heads/main exists
test-shard (3)
No files were found with the provided path: junit.xml. No artifacts will be uploaded.
test-shard (3)
The operation was canceled.
node-forward-compatibility
Canceling since a higher priority waiting request for python-tests-refs/heads/main exists
node-forward-compatibility
The operation was canceled.
test-shard (4)
Canceling since a higher priority waiting request for python-tests-refs/heads/main exists
test-shard (4)
No files were found with the provided path: junit.xml. No artifacts will be uploaded.
test-shard (4)
The operation was canceled.
kernel-static-checks
Canceling since a higher priority waiting request for python-tests-refs/heads/main exists
kernel-static-checks
The operation was canceled.
test-shard (1)
Canceling since a higher priority waiting request for python-tests-refs/heads/main exists
test-shard (1)
No files were found with the provided path: junit.xml. No artifacts will be uploaded.
test-shard (1)
The operation was canceled.
stage2c (mutants 0)
Canceling since a higher priority waiting request for python-tests-refs/heads/main exists
stage2c (mutants 0)
The operation was canceled.
stage2c (e2e 1)
Canceling since a higher priority waiting request for python-tests-refs/heads/main exists
stage2c (e2e 1)
The operation was canceled.
test-shard (2)
Canceling since a higher priority waiting request for python-tests-refs/heads/main exists
test-shard (2)
No files were found with the provided path: junit.xml. No artifacts will be uploaded.
test-shard (2)
The operation was canceled.
checks
Process completed with exit code 1.
stage2c-correctness-e2e
Process completed with exit code 1.
pytest
Process completed with exit code 1.
merge-gate
Process completed with exit code 1.
Python Tests
Canceling since a higher priority waiting request for python-tests-refs/heads/main exists
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"
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 (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"
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"
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"
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"
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"
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"
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"
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"
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 (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"
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.48 MB
sha256:9dfcf88b93291ac7a8e79c9e3fc84b664a21b1fd98b08a30be221273efa038bf
stage2c-correctness-evidence-e2e-2
888 KB
sha256:ef64f033c92afa10689768b6f48da789819ae52680901428c98bd2ec95253255
stage2c-correctness-evidence-installed-0
23.2 KB
sha256:793df69e33416cc23afdc73833c99830ffa1465f69456d6ac25feb943346606c
stage2c-correctness-evidence-mutants-0
182 KB
sha256:d4db485ac558469738d5c05800c5461fd2e21aaa49dd2956d97c95ffae6cad6a