CI (Coq, docker)

Adapt to coq/coq#18082 (Ltac2 mutable refs are not values) #520

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-docker (dev)	7m 9s
build-docker (8.16)	8m 1s
check-all-docker	1s
	15m 11s