mirror of
https://github.com/fish-shell/fish-shell.git
synced 2026-06-27 20:31:17 -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