Skip to content
CI

Make public mathematical contracts canonical and composable #5501

Sign in to view logs

Make public mathematical contracts canonical and composable

Make public mathematical contracts canonical and composable #5501

Triggered via pull request August 20, 2026 22:02
@morlutomorluto
synchronize #2185
codex/public-math-contracts
Status Success
Total duration 1m 37s
Artifacts 18

ci.yml

on: pull_request
Matrix: boundaries
Matrix: python
static
47s
static
Lean Runtime
0s
Lean Runtime
Coverage
24s
Coverage
Matrix: wheel
required
2s
required
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
coverage-3.12
79.2 KB
sha256:81a1c60e4b23d50cffb277c3a61e678eb623b252093aef2b37ff42438f29e367
coverage-data-mcp
657 KB
sha256:7278aa51a17ae459e293565563a057fa27fa10ebea4c5a10134f7e826eb0bf8b
coverage-data-process
89.7 KB
sha256:462b7c223e7f6aece7c338c7762ffa312d2de899ff13c9c32cfc09061a045350
coverage-data-python-catalog
733 KB
sha256:c5b5102f32fdc053bb4bef2d452cfad09a3100e5d351c9f12bf0210e46b66290
coverage-data-python-cli
630 KB
sha256:b971c291b17d7b414482a6deddd324151a76d37d260a5e74fc1595eda4898da1
coverage-data-python-dispatch
630 KB
sha256:7202b3911bf40bb3cfcb9a5e39f438698ba323005ac622465530a39f3157f8ed
coverage-data-python-integration
1010 KB
sha256:b773d651f190f7aeba569ee793fb3b0a61e9bcc4474040e7f9671378c6d07bd3
coverage-data-python-math
752 KB
sha256:83898fd7d86c3fe86db69a836069bbb6446d8cb64e6a0c4c5e7e34e71f7b95fa
coverage-data-python-tooling
21.7 KB
sha256:699828a444cd3b7db87d9fc2558e697e81ad9bcc0076e7d3667c16bee6482ff0
dist
4.12 MB
sha256:1ccc91ee89bfe33083ce888bd4b8fef166186dc3771c7a74be4e6b3d8733e3b7
junit-mcp-3.12
831 Bytes
sha256:cd719b2d59b78e5cf5da8385b879692d0ce7a53ec0e06ce292a30ecb8ff201d5
junit-process-3.12
2.97 KB
sha256:124a6c900a725f8297c60681641f2bfaf2f8628fd2b87818b84f5e3a1fe9e239
junit-python-catalog-3.12
1.08 KB
sha256:ab428e4547b691be34cb64e527aa1953f8612e0a96f90fb8119745ee7250639b
junit-python-cli-3.12
438 Bytes
sha256:67387f188978423dbe8804b2d1d3c14c98f64f046bdee58b912c4925142a0ca9
junit-python-dispatch-3.12
546 Bytes
sha256:bd9a749e35f8eaf27dc3f20ccae6c77c8e066a20bb18cda7669fc182c4333afa
junit-python-integration-3.12
6.35 KB
sha256:382b13be02d61aa95ee148f15a107a91eaca573d20658d349145bf2ab4a7eaf9
junit-python-math-3.12
28.5 KB
sha256:486b44905eea15e318d83b5e644b60a17a96499a5013d54826d16f78f481096d
junit-python-tooling-3.12
4.5 KB
sha256:2b4c61efb37fd8f401a212c035da949f1c0532736b8d5384f40f44cd3d4b3a16