amd64-linux

Dockerfile: change the owner of copied contents #31

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
bench	27s
check-safety	1m 28s
compile-src	14s
check-sct	11s
extract-to-easycrypt	12s
proof	14s
test	15s
	3m 1s