CI (Coq, docker)

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

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 18s	0s
docker-check-all	1s	0s
	6m 19s	0s