Compile blueprint

chore: bump toolchain/Mathlib to v4.16.0-rc1 #149

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Lint style	1s
Lint style	1s
Build project	5m 40s
Build project	3h 26m 8s
	3h 31m 50s