Closed ghost closed 2 years ago
I suggest merging this before all other pull requests so other PRs benefit from this.
Didn't realize that CI is already into the repo, just not GitHub actions. Although it is lacking a Windows job.
I suggest merging this before all other pull requests so other PRs benefit from this.