Back to pull request #461

Translate global body as a separate initializer function #1651

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
nix	2m 40s
check-version-number	14s
aeneas	30s
eurydice	28s
kyber	0s
	3m 52s