Release binaries

Also verify ed signatures #752

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build on fedora:37	2m 59s
Build dist with Linux	1m 0s
build on fedora:38	2m 23s
build on ubuntu:23.04	1m 59s
build on centos:7	2m 44s
build on ubuntu:22.04	1m 44s
build on ubuntu:20.04	2m 26s
build on ubuntu:18.04	2m 3s
build on ubuntu:16.04	1m 49s
build on ubuntu:14.04	1m 47s
build on debian:12	1m 52s
build on debian:11	2m 6s
build on debian:10	5m 36s
Build Windows x86 release	11m 23s
Build MacOS amd64 release	1m 22s
Build Windows x64 release	7m 54s
	51m 7s