Skip to content
Check formatting

Drop lean version prefix in the specified lean toolchain #77

Sign in to view logs

Drop lean version prefix in the specified lean toolchain

Drop lean version prefix in the specified lean toolchain #77

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (5.0.0, ubuntu-latest, 0.27.0)
5m 29s
5m 29s