Closed kmuehlbauer closed 5 years ago
OK, it seems, that comparing the latest normal build with this PR, the advantage isn't that big.
In that light it won't bring much (besides stability) if we use docker here. Anyway, if we ever decide to incorporate docker in our workflow, we can adapt this.
After some testing, it seems that we can spare approximately 25% of CI-Time. And if we can reduce CI Time, we should, IMHO. So, going to merge this.
OK, it seems, that comparing the latest normal build with this PR, the advantage isn't that big.
In that light it won't bring much (besides stability) if we use docker here. Anyway, if we ever decide to incorporate docker in our workflow, we can adapt this.