Update Batteries branch for testing https://github.com/leanprover-com… · leanprover-community/mathlib4@8ab445e

Triggered via push January 29, 2025 23:45

Status Success

Total duration 47m 36s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size
import-graph Expired	193 KB