.github/workflows/ci.yml

Add support for symbolic values containing mutable borrows #1654

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
charon-pin-is-forward	29s
nix	1m 31s
diff_lean_files	2s
charon-pin-is-merged	32s
userdocs	2m 3s
lean	13m 4s
	17m 41s