More sad that this is not the first time I've used this workaround. I've had to do it in previous jobs too and on other Unixes.
The CI failures appear to be unrelated infrastructure faults. The first Jenkins run passed...
« Back to merge proposal
More sad that this is not the first time I've used this workaround. I've had to do it in previous jobs too and on other Unixes.
The CI failures appear to be unrelated infrastructure faults. The first Jenkins run passed...