CI for master is failing as it seems there is no WSL runners available

Job #489469696 failed for 0b11fcbf:

As a temporal fix, the job is allowed to fail: !1844 (merged)

When this gets fixed, the job should be reenabled to not be allowed to fail anymore