batteries test build

Merge pull request #221 from leanprover/bump_to_v4.13.0-rc1 #4911

Sign in to view logs

Triggered via push October 3, 2024 12:20

kim-em

main

Status Success

Total duration 4m 7s

Artifacts –

build.yml

on: push

batteries test build