Bumping mathlib to ba9c63d would break the build #277

mathlib incompatibility detected

An incompatibility has been detected between this project and recent changes in mathlib.
In other words, this project can't advance to the tip of mathlib without breaking.

First incompatible mathlib commit: ba9c63d — refactor(Data): make Set a one-field structure (#41506) (2026-10-13 (Yaël Dillies)).

Last-known-good mathlib commit: 10f994e — feat(Cache): set the number of parallel downloads with MATHLIB_CACHE_PARALLEL_MAX (#44615) (2026-10-13 (Marcelo Lynch))

Verified when LeanMachineLearning/LML was at: 7cfcc01 — Bump mathlib dependency to v4.35.0 (#276) (2026-10-14 (Rémy Degenne)).
You can reproduce this break by:

• updating mathlib to ba9c63d0fefca8bc3961f7f6e7a30ec6988a4338
• running lake update mathlib
• running lake build

downstream-reports reported at 2026-10-22T21:40:30Z · Workflow run · Job log · Failure log

This issue was last updated on 2026-10-23 by this workflow run. It is maintained automatically by downstream-reports/track-incompatibility. When the incompatibility is resolved, the issue is closed automatically with a comment.