CI (Coq, Alpine)

Create dependabot-automerge.yml #58

Sign in to view logs

Run and billable time

Learn about OS pricing on GitHub Actions

Job	Run time	Billable time
alpine-edge	6m 4s	0s
alpine-check-all	1s	0s
	6m 5s	0s