> On Apr 27, 2020, at 6:58 AM, Berthold Stoeger <bstoeger at mail.tuwien.ac.at> wrote: > > Hi Dirk, > > There appear to be no more CI runs, which is a bit scary. See e.g. https:// > github.com/subsurface/subsurface/pull/2790 Oops. Can you push into that branch again, please? /D