Skip to content

Add bounded composable math operations with exact contracts #4781

Add bounded composable math operations with exact contracts

Add bounded composable math operations with exact contracts #4781

Triggered via pull request August 16, 2026 23:30
Status Failure
Total duration 1m 34s
Artifacts 14

ci.yml

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

Annotations

2 errors
wheel (Python 3.12)
The operation was aborted due to timeout
required
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size Digest
coverage-3.12
45.5 KB
sha256:bcba56a7dd5f0db54c39dd867759c58450245b1517924d7724e3d212afb5bf25
coverage-data-mcp
362 KB
sha256:4f53dff6a5fef78b61d03c84f5968ce4cc0391d00f118251f9dedee646f9473c
coverage-data-process
16 KB
sha256:6bc0f6f55fda502ff71d55c4a9730df73adcbb23a0176a5aa237ed7b9be8cb27
coverage-data-python-component
88.5 KB
sha256:996ec066496396b87927ae04bbf1d06fc28051a94ad132eef887cf7027430832
coverage-data-python-composition
554 KB
sha256:2842984cd4c05ef74c1c3082233cf9ab2b2ba62b6680153a57e7f01bc87c90b5
coverage-data-python-domain
393 KB
sha256:d7dfa95fa5ac0cad58c6790633e7101a55de1d98fa6ab534d41cd765f6b18d8d
coverage-data-python-unit
436 KB
sha256:c09f282649c4b6beabfeeb6de079735bdf47868dd69e2947eacf61d7e1de561e
dist
3.49 MB
sha256:3e94772c70372b91a73d63c8b23e53e205aadc1a0e40d88f5304cb7280853f13
junit-mcp-3.12
800 Bytes
sha256:9fe99137aec3aea93b4f7443af7dcb19512c606e57bf4dd26adf4471084222a8
junit-process-3.12
2.57 KB
sha256:65d265f9017fddf51eeb1c92089c503b0335ef8640192bafe5938e4683cdbf3f
junit-python-component-3.12
1.35 KB
sha256:886829d39699c1d61e8895c9a54cf94850fe0f99d6f5c4d163d1af86173cfcb8
junit-python-composition-3.12
4.67 KB
sha256:ee4456f4f210596ddec2fcb61e8ab04872aa914d37cecb07aeebba6f6cc4693d
junit-python-domain-3.12
6.53 KB
sha256:116bc314a44dec9d3d902b0540c73db8ab300950bc9241d74e49b7281dd1ed87
junit-python-unit-3.12
10.3 KB
sha256:dae0ec2617554cd5fea6cd9abfb5cb6eb271dd60f5f84fb2537463a18169a24b