Skip to content

feat(semantics): give settlement binding kind executed production evidence #6960

feat(semantics): give settlement binding kind executed production evidence

feat(semantics): give settlement binding kind executed production evidence #6960

Triggered via pull request September 20, 2026 03:22
Status Success
Total duration 52m 50s
Artifacts 4

python-tests.yml

on: pull_request
Matrix: stage2c-suite
Matrix: test-shard
kernel-static-checks
22m 27s
kernel-static-checks
dashboard-acceptance
3m 46s
dashboard-acceptance
node-minimum-compatibility
8m 44s
node-minimum-compatibility
windows-powershell
8m 58s
windows-powershell
presentation
presentation
node-forward-compatibility
9m 38s
node-forward-compatibility
stage2c-correctness-e2e
3s
stage2c-correctness-e2e
merge-gate
8s
merge-gate
sonar  /  SonarCloud analysis (non-blocking)
4s
sonar / SonarCloud analysis (non-blocking)
Fit to window
Zoom out
Zoom in

Annotations

18 notices
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"
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"
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"
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 (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 (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"
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 (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"
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"
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"
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"
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"
sonar / SonarCloud analysis (non-blocking)
"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.45 MB
sha256:79e592a469a99fe4b3cf9e4c2529df211d7d5a17466828e23929e81badad6669
stage2c-correctness-evidence-e2e-2
875 KB
sha256:5e4546c3a7745dccef2f6556f3e8154446e4bdc8a01d4064e11f8f5b61b2f1d9
stage2c-correctness-evidence-installed-0
23.2 KB
sha256:d69ec5fe21bf612e33b55bf660b4d5bb290613c703e6e303193d90087f618650
stage2c-correctness-evidence-mutants-0
195 KB
sha256:c76f7ea7a057ff8ba28a8f5c5a8265f6ee54606d6f796bde743e99ce5a72faf2