CI

feat: add `toInt_smod` and auxilliary theorems #35261

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
configure	6s
build / Linux release	3m 58s
build-secondary / Linux Lake	5m 57s
build-secondary / macOS aarch64	5m 31s
Build matrix complete	8s
release	0s
release-nightly	0s
	15m 40s