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: May 02 2025 at 03:31 UTC