batteries test build

Merge pull request #220 from leanprover/move_to_v4.12.0 #4909

Sign in to view logs

Triggered via push October 1, 2024 06:19

kim-em

main

Status Success

Total duration 4m 10s

Artifacts –

build.yml

on: push

batteries test build