Skip to content
continuous integration

Update Batteries branch for testing https://github.com/leanprover-com… #166122

Sign in to view logs

Update Batteries branch for testing https://github.com/leanprover-com…

Update Batteries branch for testing https://github.com/leanprover-com… #166122

Triggered via push February 15, 2025 01:18
@leanprover-community-mathlib4-botleanprover-community-mathlib4-bot
pushed 0ee81e8
batteries-pr-testing-1135
Status Success
Total duration 43m 53s
Artifacts 1

build.yml

on: push
Lint style
1m 17s
Lint style
Build
43m 33s
Build
Post-CI job
9s
Post-CI job
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
import-graph Expired
199 KB