fix logs printing in CI + dockerfile updates #54

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-sct	11s
check-sct	11s
bench	25s
bench	25s
compile-src	12s
compile-src	12s
check-safety	1m 27s
check-safety	1m 27s
extract-to-easycrypt	10s
extract-to-easycrypt	10s
proof	10s
proof	1m 54s
test	14s
test	14s
	7m 22s