CI (Coq, Debian)

Make etc/ci/describe-system-config.sh POSIX-compliant (#1715) #246

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
sid	3h 23m 27s
test-amd64	2h 35m 41s
debian-check-all	1s
	5h 59m 9s