batteries test build

Merge pull request #225 from leanprover/bump_to_v4.13.0 #4918

Sign in to view logs

Triggered via push November 1, 2024 06:03

kim-em

main

Status Success

Total duration 4m 18s

Billable time 5m

Artifacts –

build.yml

on: push

batteries test build