Merge pull request #23 from formosa-crypto/fix-ci-print #55

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-sct	10s
check-safety	1m 35s
compile-src	12s
bench	29s
extract-to-easycrypt	10s
proof	2m 7s
test	17s
	5m 0s