mirror of
https://github.com/fish-shell/fish-shell.git
synced 2026-05-18 17:11:15 -03:00
There is already a GitHub workflow doing lint checks so it is redundant and wastes time (4+ min). Moreover, other platforms do not do it, so when it fails, it gives the appearance that there is a Windows specific build issue beyond linting. Closes #12740