CI

perf: give `currRecDepth` its own `ReaderT` layer in `CoreM` #62687

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
configure	10s
build / Linux release	9m 23s
build-secondary	0s
Build matrix complete	4s
release	0s
release-nightly	0s
	9m 37s