Skip to content

Add bounded composable math operations with exact contracts #4778

Add bounded composable math operations with exact contracts

Add bounded composable math operations with exact contracts #4778

Triggered via pull request August 16, 2026 23:20
Status Failure
Total duration 1m 15s
Artifacts 13

ci.yml

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

Annotations

2 errors
static
Process completed with exit code 2.
required
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size Digest
coverage-3.12
45.2 KB
sha256:c4d743e0f65714b389c1cd0951353a87e813d4563fa96852f5872bcbebcef23b
coverage-data-mcp
363 KB
sha256:84d52aafab048333075e45a25cd73c1dd553b53652318bac0327eac42d033f8b
coverage-data-process
16.1 KB
sha256:bbc535f00700588f169b2b7779649be655bec55b89a7ffc441cee16304718dfa
coverage-data-python-component
89.3 KB
sha256:2aa4423d0a8be5d57028c2de0c42a8bbdbebe9bae9dc41b88d315b7c649aa528
coverage-data-python-composition
547 KB
sha256:fa5372452d2707d9773f502447e6e178e109ea9ee1833195b1854a2288d95dda
coverage-data-python-domain
390 KB
sha256:dc7932c2d4b033595ad60a96009f087f0c94dd3c668e302599f4ca89546badbf
coverage-data-python-unit
434 KB
sha256:16cd66fa17db0417930f65253357f2cc6ee924cd8592ce35ac681b459acdde26
junit-mcp-3.12
793 Bytes
sha256:1c12c61ef63fb8654e297c7382ed608bc5385ec6cc87dc28e96762d22811db01
junit-process-3.12
2.55 KB
sha256:f76d903dd14eefd606641af538aa118c2e180ef687e51b3ff5693e55df10809c
junit-python-component-3.12
1.36 KB
sha256:4487cbbd11d46bea1c41b0ab286b44ffa0f7688b0e590244a4bc2a342b210abb
junit-python-composition-3.12
4.69 KB
sha256:8256f1ea91c9446dce6676e48c02233f2d6c3b1138ead353b2015c852972bb26
junit-python-domain-3.12
6.51 KB
sha256:cd392c39bc7a27c86f67ee3caf6a5bb074fd14f126dc1eff696ab888a2efbb50
junit-python-unit-3.12
10.2 KB
sha256:a15f934757fc601bc0777be2b8537aa6dfe11e86bf2b0cab3c4c0eaa51440f77