chore: update Mathlib dependencies 2025-11-09-23-07 · leanprover-community/mathlib4@96c13e9

Triggered via push November 9, 2025 23:07

Status Failure

Total duration 19m 2s

Artifacts –

build.yml

on: push

5 errors

Process completed with exit code 1.

import Mathlib.Data.List.Scan failed, environment already contains 'List.scanl_ne_nil._simp_1' from Batteries.Data.List.Scan

Process completed with exit code 1.

import Mathlib.Data.List.Scan failed, environment already contains 'List.scanl_ne_nil._simp_1' from Batteries.Data.List.Scan

Process completed with exit code 3.