windows build: disable lint checks
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
N
Nahor committed
e697f960c8b2f68d1cbb5281aefc5590987a682c
Parent: cab3bda
Committed by Daniel Rainer <daniel.rainer@localhost>
on 5/10/2026, 9:52:47 PM