.github/workflows/ci.yml

Start handling functions which consume ADTs with mutable borrows #1529

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
userdocs	5s
charon-pin-is-forward	8s
charon-pin-is-merged	7s
check_if_skip_duplicate_job	5s
lean	13m 9s
nix	24s
	13m 58s