CI (Coq, Alpine)

Schedule dependabot updates leading fiat-crypto (#153) #57

Sign in to view logs

Run and billable time

Learn about OS pricing on GitHub Actions

Job	Run time	Billable time
alpine-edge	6m 11s	0s
alpine-check-all	1s	0s
	6m 12s	0s