.github/workflows/ci.yml

Change `.ocamlformat` to match aeneas #1686

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
nix	32s
check-version-number	15s
eurydice	0s
aeneas	0s
kyber	0s
	47s