Hi,

I noticed for some recent PRs that the windows builds tend to be
failing a lot. IMO we probably don't need to require PRs to pass on
both Windows and Ubuntu, as we already have nightly Jenkins builds on
Windows. It makes the PR builds take ages as well.

WDYT?

Colm.

Reply via email to