Skip to content

Add bounded composable math operations with exact contracts #4776

Add bounded composable math operations with exact contracts

Add bounded composable math operations with exact contracts #4776

Triggered via pull request August 16, 2026 23:10
Status Success
Total duration 1m 41s
Artifacts 14

ci.yml

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

Artifacts

Produced during runtime
Name Size Digest
coverage-3.12
47.6 KB
sha256:6e72e147fe0bf1f8585f144bb27f42806fb0c7302d7eb3759e15dd1e79292b68
coverage-data-mcp
361 KB
sha256:d5eaab603b6135bf3725d2b7883b99eaa107014b23225670be70df76388d251d
coverage-data-process
16 KB
sha256:6c9baf65304aadae3b2913ce37b22c943d62964a25c9a25fa20bc6ba4533d164
coverage-data-python-component
89 KB
sha256:cd82307be4d5b057e565f45a824a41e3e0826f184aa9c59a75989b3c3c7dccc2
coverage-data-python-composition
377 KB
sha256:f4f57579bc9d13af87c4c839cc3df8683111bfd487705f4b45f4198f745e39dd
coverage-data-python-domain
392 KB
sha256:be3aecec0fc1c31a542c61ae02ccfb67da443b0e7802bebb6072754a1bcfb9f2
coverage-data-python-unit
434 KB
sha256:52d1c2aabc617c54cd0009bda49d68794d47bb0855037ee5d7c091d3c523541d
dist
3.49 MB
sha256:01fb8cdbc0657c2a2805306aefc97f0df521cc31662f0a27052e3707f7e91f54
junit-mcp-3.12
789 Bytes
sha256:a08ae5169568f4fdaba056ef0bec84cf8314e30e51c0961918408d01b034084a
junit-process-3.12
2.54 KB
sha256:f330730e59b17118e9f06efd573349889eefc06ded36e27d6921f30467830f1d
junit-python-component-3.12
1.37 KB
sha256:ae7a9f2df0f327fceb3562b4f88e4fdd41e21a3a21f3d41b2660116788524151
junit-python-composition-3.12
1.91 KB
sha256:ab77f4163d7eefe6a2647b7096294153991c8ba8214f684f48e0013771a1f794
junit-python-domain-3.12
6.46 KB
sha256:8c39d2f5c896f533d794e4301896dcb895f8633985c18fa9b8d5f531cbf3f80a
junit-python-unit-3.12
10.1 KB
sha256:d7a886bfcb1106f0510cecceced916353339470fed9cb769e8f96d840b96cc6a