CI (Coq, docker)

Bump etc/coq-scripts from `bf7754a` to `fdfd924` #134

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-docker (8.20)	6m 5s
build-docker (8.19)	5m 42s
build-docker (dev, --warnings)	5m 53s
build-docker (8.18)	6m 12s
docker-check-all	2s
	23m 54s