This reverts commit a56d742e69. I was checking the CI result of the wrong revision. It actually worked fine 27866303. Never mind...
a56d742e69
27866303