Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[do not merge] GHA: remove all job but mingw
* Avoid useless build during iterations to make mingw actually work. * Will be discarded once done
- Loading branch information