Docker CI

Add Hint Mode to Functor, Applicative, Monad #23

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (coqorg/coq:8.9)	4m 27s
build (coqorg/coq:8.9)	4m 27s
build (coqorg/coq:8.11)	4m 22s
build (coqorg/coq:8.11)	4m 22s
build (coqorg/coq:8.12)	7m 3s
build (coqorg/coq:8.12)	7m 3s
build (coqorg/coq:8.13)	8m 13s
build (coqorg/coq:8.13)	8m 13s
build (coqorg/coq:8.14)	47m 8s
build (coqorg/coq:8.14)	46m 59s
build (coqorg/coq:8.15)	7m 20s
build (coqorg/coq:8.15)	7m 20s
build (coqorg/coq:8.16)	7m 0s
build (coqorg/coq:8.16)	7m 0s
build (coqorg/coq:8.17)	6m 44s
build (coqorg/coq:8.17)	6m 44s
build (coqorg/coq:8.18)	6m 59s
build (coqorg/coq:8.18)	6m 59s
build (coqorg/coq:dev)	13m 56s
build (coqorg/coq:dev)	13m 56s
	3h 46m 15s