CI (Coq, docker)

Create dependabot-automerge.yml #83

Sign in to view logs

Run and billable time

Learn about OS pricing on GitHub Actions

Job	Run time	Billable time
build-docker (dev, --warnings)	6m 10s	0s
docker-check-all	1s	0s
	6m 11s	0s