amd64-linux

Merge pull request #22 from formosa-crypto/ci #53

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-sct	11s
check-sct	11s
check-safety	1m 35s
check-safety	1m 38s
compile-src	13s
compile-src	15s
bench	25s
bench	29s
extract-to-easycrypt	11s
extract-to-easycrypt	11s
proof	2m 8s
proof	2m 7s
test	27s
test	16s
	10m 17s