Zulip Chat Archive
Stream: general
Topic: linters broke
Violeta Hernández (Jun 02 2022 at 06:00):
Uhh, it seems like the linters aren't working? https://github.com/leanprover-community/mathlib/runs/6703036668?check_suite_focus=true
Last updated: Dec 20 2023 at 11:08 UTC