Adaptation PR

fix: use `v` in `Lean.toolchain` for release versions #3972

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
remove-toolchain-available	44s
create-adaptation-pr	-1s
	43s