CI (Coq, docker)

Bump etc/coq-scripts from `9479734` to `bf7754a` #127

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-docker (8.18)	6m 19s
build-docker (8.19)	6m 11s
build-docker (8.20)	6m 5s
build-docker (dev, --warnings)	6m 4s
docker-check-all	1s
	24m 40s