CI

Add bounded composable math operations with exact contracts #4776

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
python (domain)	30s
static	45s
python (composition)	23s
boundaries (process)	26s
python (unit)	39s
boundaries (mcp)	30s
python (component)	25s
Lean Runtime	0s
Coverage	19s
wheel (Python 3.13)	30s
wheel (Python 3.12)	22s
required	2s
	4m 51s