Skip to content
batteries test build

Merge pull request #258 from leanprover/bump_to_v4.16.0-rc1_take2 #4990

Sign in to view logs

Merge pull request #258 from leanprover/bump_to_v4.16.0-rc1_take2

Merge pull request #258 from leanprover/bump_to_v4.16.0-rc1_take2 #4990

Triggered via push January 4, 2025 22:16
@kim-emkim-em
pushed 5a111eb
main
Status Success
Total duration 4m 1s
Artifacts –

build.yml

on: push
batteries test build
3m 53s
batteries test build
Fit to window
Zoom out
Zoom in

Annotations

1 warning
batteries test build
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636