.github/workflows/ci.yml

Add more definitions to the Lean library and add deboguing features #1613

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
userdocs	11s
charon-pin-is-merged	7s
check_if_skip_duplicate_job	5s
charon-pin-is-forward	11s
lean	13m 12s
nix	3m 6s
	16m 52s