CI

Add "coq.env.query-extra-dep" external predicate #1194

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
play	14m 17s
build (8.18, 4.09-flambda)	6m 4s
build (8.18, 4.13-flambda)	8m 18s
release	0s
	28m 39s