CI (Coq, Alpine)

[CI] Upload standalone archives to releases (#1711) #92

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
edge	4h 18m 54s
publish-standalone	8s
test-standalone-edge	13s
alpine-check-all	1s
	4h 19m 16s