CI (Coq, Alpine)

Only upload one copy of linux binaries to releases #107

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
edge	3h 14m 18s
test-standalone-edge	18s
publish-standalone	20s
alpine-check-all	4s
	3h 15m 0s