Delegate certified SNF and finite-field reduction to SymPy (#616) #2311

Job	Run time
Plan CI	14s
Security Audit	15s
Documentation	26s
Tests (composition 1 of 2, Python 3.12)	6m 34s
Tests (domain 2 of 4, Python 3.12)	48s
Duplicate Code Detection	11s
Tests (process boundary, Python 3.12)	58s
Deployment checks	19s
Tests (composition 2 of 2, Python 3.12)	7m 1s
Lean Runtime	2m 13s
Tests (domain 3 of 4, Python 3.12)	45s
Tests (component, Python 3.12)	1m 18s
Tests (domain 4 of 4, Python 3.12)	53s
Lint & Format	33s
Build	21s
Tests (domain 1 of 4, Python 3.12)	58s
Tests (provider, Python 3.12)	7m 18s
Tests (unit, Python 3.12)	1m 6s
npm Package	15s
Tests (storage, Python 3.12)	4m 40s
Compatibility smoke (Python 3.13)	16s
Tests (mcp, Python 3.12)	2m 26s
Tests (e2e, Python 3.12)	1m 57s
Deployment Tests	2s
Validate Built Package	15s
Lean Tests	2s
Publish sharded test durations	7s
Python Tests	2s
Coverage	25s
CI Metrics	10s
	42m 48s

Navigation Menu