Back to pull request #25

Added files to allow this proof to be ran on the external CI #60

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
bench	25s
bench	25s
bench	25s
compile-src	14s
compile-src	14s
compile-src	14s
check-safety	1m 52s
check-safety	1m 52s
check-safety	1m 52s
check-sct	14s
check-sct	14s
check-sct	14s
extract-to-easycrypt	12s
extract-to-easycrypt	12s
extract-to-easycrypt	12s
proof-runtest	2m 18s
proof-runtest	2m 18s
proof-runtest	1m 49s
proof	2m 23s
proof	1m 51s
proof	1m 51s
test	28s
test	28s
test	28s
	22m 45s