CI

feat: exact? uses star-indexed lemmas as fallback (#11494) #47907

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
configure	6s
build / Linux release	42m 48s
build / Linux Lake	24m 40s
build-secondary	0s
release-nightly	1s
release	1s
Build matrix complete	1s
	1h 7m 37s