Skip to content
continuous integration

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

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… #5624

Triggered via push December 11, 2025 11:28
@leanprover-community-mathlib4-botleanprover-community-mathlib4-bot
pushed 8d2038c
batteries-pr-testing-1549
Status Failure
Total duration 11m 13s
Artifacts –

build.yml

on: push
Build
11m 10s
Build
Lint style
2m 3s
Lint style
Post-Build Step
0s
Post-Build Step
Post-CI job
0s
Post-CI job
Fit to window
Zoom out
Zoom in

Annotations

13 errors
Build
Process completed with exit code 1.
Build
unsolved goals
Build
Unknown identifier `getElem_idxOf`
Build
unsolved goals
Build
Unknown identifier `getElem_idxOf`
Build
unsolved goals
Build
Process completed with exit code 1.
Build
unsolved goals
Build
Unknown identifier `getElem_idxOf`
Build
unsolved goals
Build
Unknown identifier `getElem_idxOf`
Build
unsolved goals
Build
Process completed with exit code 3.