Closed tristan0x closed 5 years ago
CI started failing for quite some time, could that be fixed?
CI started failing for quite some time, could that be fixed?
The PR I have merged this morning fixes the pb. Recent master build fails because one of the builder crashed. I have just restarted it. Should be fine then