.github/workflows/ci.yml

Improve the printing and debugging utilities of Charon-ML #1809

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
nix	56s
check-version-number	16s
aeneas	4m 53s
eurydice	1m 9s
kyber	5m 29s
	12m 43s