@eugenwintersberger @jkotan, as Windows builds are being added in GitHub CI as part of #501, we are evaluating the possibility dropping the Windows builds from the ESS Jenkins builds.
We don't use Windows internally, so we don't consider the effort it takes to maintain the Windows 10 build node is worth it, as that is the only Windows server we run in our CI infrastructure.
Do the new GitHub CI Windows builds cover the project's needs? What is your opinion on dropping the ESS Windows build?
@eugenwintersberger @jkotan, as Windows builds are being added in GitHub CI as part of #501, we are evaluating the possibility dropping the Windows builds from the ESS Jenkins builds.
We don't use Windows internally, so we don't consider the effort it takes to maintain the Windows 10 build node is worth it, as that is the only Windows server we run in our CI infrastructure.
Do the new GitHub CI Windows builds cover the project's needs? What is your opinion on dropping the ESS Windows build?