amd64-linux-main

Implemented X-Wing (ref and avx2) in libjade #209

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
compile	1m 23s
bench2	1m 29s
bench1	1m 12s
test	6m 15s
dist-amd64	1m 53s
proof-extracted	1m 0s
	13m 12s