As of Isabelle/f3763989d589 the Isabelle2018-RC3 release branch is back on isabelle-dev. This simplifies further development and testing. In particular, there should be fewer errors on https://isabelle.sketis.net/devel/build_status Makarius