Bumping mathlib to 0867942 would break the build #76

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: 0867942 — refactor: change the definition of EventuallyEqSet (#45712) (2026-11-06 (Etienne Marion)).

Last-known-good mathlib commit: 94f4300 — chore(SimpleGraph/Coloring/Constructions): some golfs (#42665) (2026-11-06 (Snir Broshi))

Verified when stat-lib/statlib was at: eeaac02 — Bump mathlib dependency to 6135ffb (#70) (2026-11-05 (Rémy Degenne)).
You can reproduce this break by:

• updating mathlib to 0867942e5a66912b3b3a2fe9d7f7201ead9bbdde
• running lake update mathlib
• running lake build

downstream-reports reported at 2026-11-11T16:14:11Z · Workflow run · Job log · Failure log

This issue was last updated on 2026-11-12 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.