[setup.init] elpi-builtin loaded before coq-builtin #1796

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
release	0s
build (8.20+rc1, 4.14.x)	7m 22s
build (8.20+rc1, 5.2.x)	8m 2s
build (dev, 4.14.x)	10m 44s
build (dev, 5.2.x)	11m 24s
	37m 32s