Skip to content
batteries test build

Merge pull request #216 from leanprover/bump_toolchain_to_v4.11.0 #4900

Sign in to view logs

Merge pull request #216 from leanprover/bump_toolchain_to_v4.11.0

Merge pull request #216 from leanprover/bump_toolchain_to_v4.11.0 #4900

Run time

Learn about OS pricing on GitHub Actions
Job Run time
batteries test build
2m 58s
2m 58s