Zulip Chat Archive
Stream: batteries
Topic: shake
Kim Morrison (Feb 06 2024 at 22:04):
May I add a noshake.json for Std? there are a few false positive there that it would be nice to track, to avoid thinking about twice.
Joe Hendrix (Feb 06 2024 at 22:32):
That sounds good to me.
Mario Carneiro (Feb 07 2024 at 13:13):
Note that mathlib's noshake.json is Std-capable, it contains some lines relevant only for checking Std
Last updated: May 02 2025 at 03:31 UTC