jpp slim (no perl deps to preprocess); CI switched to preprocessed fi… #56

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
compile-src	13s
compile-src	13s
bench	26s
bench	26s
check-sct	15s
check-sct	15s
check-safety	1m 39s
check-safety	1m 39s
extract-to-easycrypt	11s
extract-to-easycrypt	11s
proof	2m 8s
proof	1m 51s
test	23s
test	23s
	10m 13s