fsprojects / FSharpLint

Lint tool for F#
https://fsprojects.github.io/FSharpLint/
MIT License
300 stars 73 forks source link

CI: change publish&docs pipelines to run on Linux #641

Closed knocte closed 6 months ago

knocte commented 6 months ago

This shouldn't change anything, other than the fact that it may make CI slightly faster (judging by the timing of the buildAndTest job pipeline, where the Ubuntu one is always faster[1] than the macOS&Windows ones).

[1] ~9mins + ~2min => ~4mins + ~1min