Closed kusma closed 4 years ago
So, it seems the CI is currently broken, but we didn't notice because we accidentally masked the error.
So here's two fixes. First we fix the error-masking, so we see that things currently fail, and then we fix the actual failure.
The last commit exists in some form in a few PRs, but I think we should merge this first and rebase the other PRs afterwards.
So, it seems the CI is currently broken, but we didn't notice because we accidentally masked the error.
So here's two fixes. First we fix the error-masking, so we see that things currently fail, and then we fix the actual failure.
The last commit exists in some form in a few PRs, but I think we should merge this first and rebase the other PRs afterwards.