chore: remove duplicate check

leanprover / lean4

Lean 4 programming language and theorem prover

https://lean-lang.org

Apache License 2.0

3.88k stars 329 forks source link

Closed JovanGerb closed 3 weeks ago

leanprover-community-mathlib4-bot commented 3 weeks ago

Mathlib CI status (docs):

❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase dcdc3db3d441791bd35ee06489f5b9a8094cd64c --onto fe7b96d8a0cf85e1ea81791ac9d673f84c9e866d. (2024-05-10 20:24:35)