Coq

[CI] create dependabot-automerge.yml (#417) #1345

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (8.18.0)	1h 22m 37s
build (master)	1h 16m 58s
coq-check-all	1s
	2h 39m 36s