Skip to content
Python Tests

fix(semantics): state each formal invariant over the domain it verifies #6601

Sign in to view logs

fix(semantics): state each formal invariant over the domain it verifies

fix(semantics): state each formal invariant over the domain it verifies #6601

Triggered via pull request September 17, 2026 13:22
@huangruitenghuangruiteng
synchronize #4631
songoow:codex/invariant-domain
Status Success
Total duration 18m 3s
Artifacts 4

python-tests.yml

on: pull_request
changes
12s
changes
Matrix: stage2c-suite
Matrix: test-shard
kernel-static-checks
6m 10s
kernel-static-checks
dashboard-acceptance
3m 32s
dashboard-acceptance
node-minimum-compatibility
4m 23s
node-minimum-compatibility
windows-powershell
4m 1s
windows-powershell
presentation
presentation
node-forward-compatibility
5m 26s
node-forward-compatibility
stage2c-correctness-e2e
3s
stage2c-correctness-e2e
checks
3s
checks
pytest
1m 11s
pytest
merge-gate
8s
merge-gate
sonar  /  SonarCloud analysis (non-blocking)
7s
sonar / SonarCloud analysis (non-blocking)
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
stage2c-correctness-evidence-e2e-1
1.09 MB
sha256:6e5974776a5229887f1497ab0ba56af35840ee727df3d99de368d917f8df120e
stage2c-correctness-evidence-e2e-2
701 KB
sha256:94c6681a9334063fb7c9a58faa568699968a152291d4a64a9bfafb1d7f5a943d
stage2c-correctness-evidence-installed-0
23.2 KB
sha256:ee64022123ab5e11ae8e63557e99bfb676505aa680bba8f0daca8172c0230f4a
stage2c-correctness-evidence-mutants-0
189 KB
sha256:a0a5c3254fc9297bb5ea69e752163a2e5d1d5177d51a3f2073b09b51a88fdb8c