Skip to content
Release Artifacts

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

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 #3085

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

release-artifacts.yml

on: pull_request
build
52s
build
upload-release
0s
upload-release
publish-pypi
0s
publish-pypi
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
loopx-v1.0.5
11.1 MB
sha256:aef4e38ee0fb8554121b49586a2197e01ccdeb24de4f5c7edcd3e2a7f3cc4c61