Avoiding 3.8.0 fixes the jenkins problem and does not harm the github CI. The github CI also worked with the 3.8.0 version so there might be indeed be a sandboxing problem and some crossover between ...
Resultaten die mogelijk niet toegankelijk zijn voor u worden momenteel weergegeven.
Niet-toegankelijke resultaten verbergen