CI (Coq, Debian)

Make etc/ci/describe-system-config.sh POSIX-compliant #237

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
sid	2h 46m 49s
test-amd64	0s
debian-check-all	1s
	2h 46m 50s