Job pr-scala failed for 07d95c46 Took 0 s. (ping @som-snytt) [(results)](https://scala-webapps.epfl.ch/jenkins/job/pr-scala/9425/):<br>
<br>To retry exactly this commit, comment `PLS REBUILD/pr-scala@07d95c469fe70111cd8512ce8c207d0b5136b719` on PR 4223.<br>NOTE: New commits are rebuilt automatically as they appear. A forced rebuild is only necessary for transient failures.