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

Triggered via push September 2, 2024 01:51
@kim-emkim-em
pushed e490631
main
Status Success
Total duration 3m 6s
Artifacts –

build.yml

on: push
batteries test build
2m 58s
batteries test build
Fit to window
Zoom out
Zoom in