CI (Coq, docker)

Version Util.Tactics2.{Constr,Proj,DestProj} (#113) #514

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-docker (dev)	7m 12s
build-docker (8.16)	8m 44s
check-all-docker	3s
	15m 59s