CI (Coq, Debian)

Only upload one copy of linux binaries to releases #295

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
sid	2h 52m 43s
test-standalone (sid)	1m 27s
publish-standalone-dry-run	11s
debian-check-all	1s
	2h 54m 22s