The buildbot is happy again: http://caeis.etech.fh-augsburg.de:8010/#/console
> Am 07.01.2021 um 07:35 schrieb Ben Pfaff <b...@cs.stanford.edu>: > > It's fixed now. > > On Wed, Jan 6, 2021 at 10:19 PM Friedrich Beckmann > <friedrich.beckm...@gmx.de> wrote: >> >> CI - the builds are failing… >> >> http://caeis.etech.fh-augsburg.de:8010/#/console >> >>
