Builds are failing du to CI problems…. e.g this one
missing workspace /builds/workspace/branch_Pipeline_development-CMOUMEH7DVLJPL2EIJ6VPEHUQRS3W4AK3FD4ESTKJ3YGKZERQFUQ on pharo-ci-jenkins2-bootstrap-unix-2
But the granularity of PRs are very small (and they are tested on the PR level, too), so just one build in 6 or so is not that dangerous.
(if the build for a merged PR fails, the merge still happened: the next PR merge then will build the system with the old one and the current one…)
We need to track down the problems on the CI.
Marcus