MetaCoq CI

Adapt to coq/coq#17576 (declare_variable takes typing flags argument) #2472

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
checktodos	0s
build (dev, 4.14-flambda, opam)	3m 53s
build (dev, 4.14-flambda, quick)	3m 38s
build (dev, 4.14-flambda, local)	3m 54s
	11m 25s