Skip to content
Container Image

Make formal-context and series result contracts total #3194

Sign in to view logs

Make formal-context and series result contracts total

Make formal-context and series result contracts total #3194

Triggered via pull request August 21, 2026 00:47
@morlutomorluto
opened #2200
codex/fca-and-series-result-contracts
Status Success
Total duration 1m 3s
Artifacts 1

container-image.yml

on: pull_request
Build container image
58s
Build container image
Publish container image
0s
Publish container image
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
morluto~jacobian~D48BHE.dockerbuild
39.9 KB
sha256:7075c789541b809ec6b07c71041afb4686a1ee77c9d0f1203c34bce7182361d7