.github/workflows/nightly.yml

Generate a `Cargo.lock` file for libcrux #231

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
update-flake	26s
bertie	12s
charon	9s
hax	7s
eurydice	5s
ml-kem	19s
process_results	5s
push_to_main	0s
	1m 23s