batteries test build

Merge pull request #259 from leanprover/md4lean_main #4996

Sign in to view logs

Triggered via push January 5, 2025 21:33

kim-em

main

Status Success

Total duration 2m 38s

Artifacts –

build.yml

on: push

doc-gen test build

Annotations

1 warning

doc-gen test build

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