.github/workflows/ci.yml

Add a micro-pass to fix borrow-checking issues introduced by `index_to_function_calls` #1614

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check_if_skip_duplicate_job	4s
check-version-number	7s
nix	0s
eurydice	0s
aeneas	0s
kyber	0s
	11s