CI (Coq, Debian)

Bump etc/coq-scripts from `7b54b75` to `5876e80` #658

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
debian-sid	3h 29m 49s
test-standalone (sid)	2m 6s
publish-standalone-dry-run	12s
debian-check-all	1s
	3h 32m 8s