batteries test build

Merge pull request #278 from leanprover/bump_to_v4.20.0-rc2 #5039

Sign in to view logs

Triggered via push May 2, 2025 21:51

kim-em

main

Status Success

Total duration 7m 22s

Artifacts –

build.yml

on: push

doc-gen test build