.github/workflows/ci.yml

Add some definitions to the standard library #1623

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
charon-pin-is-forward	31s
nix	20s
charon-pin-is-merged	25s
diff_lean_files	3s
userdocs	4s
lean	15m 32s
	16m 55s