batteries test build

Merge pull request #227 from leanprover/bump_to_v4.14.0-rc1 #4921

Sign in to view logs

Triggered via push November 4, 2024 02:01

kim-em

main

Status Success

Total duration 4m 19s

Billable time 5m

Artifacts –

build.yml

on: push

batteries test build