.github/workflows/ci.yml

Translate global body as a separate initializer function #1650

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
nix	2m 39s
check-version-number	15s
eurydice	27s
aeneas	31s
kyber	0s
	3m 52s