Zulip Chat Archive
Stream: general
Topic: automatically apply code actions
Chris Henson (Feb 23 2026 at 06:22):
Is there a way to automatically apply code actions, say during lake build? I'm curious about doing this to partially automate the PRs for #mathlib4 > Weekly linting log and #CSLib > Weekly linting log
Last updated: Feb 28 2026 at 14:05 UTC