Enhance 'make dist', add GitHub release workflow #23

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
make-archive	56s
test-archive	22m 33s
upload-archive	0s
	23m 29s