CI (Coq, docker, dev)

Allow passing CAMLEXTRAFLAGS for standalone build #872

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
master	2h 53m 38s
test-amd64	3h 25m 36s
	6h 19m 14s