unsimp `List.getElem?_length` · leanprover-community/mathlib4@bf0bc78

Triggered via push May 25, 2025 13:31

Rob23oba

lean-pr-testing-8470

Status Success

Total duration 38m 51s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size	Digest
import-graph Expired	224 KB	`sha256:f3dea32a01d1d8d84fa021c0319bd58cd445def676529ca9d0124f0cec8c7a56`