> good catch. Apparently we ran into a bug which I didn't notice in the
> testing environment. I'm working on resolving it.
Looks like I could resolve this by scheduling manual builds.
Enjoy the blinking balls again :-)
Cheers
Lars
___
isabelle-dev
Hi Dmitriy,
> thanks for your work. Unfortunately, currently pushing to testboard/isabelle
> does not seem to trigger new builds. Is this related to the job renamings?
good catch. Apparently we ran into a bug which I didn't notice in the
testing environment. I'm working on resolving it.
Cheers
Hi Lars,
thanks for your work. Unfortunately, currently pushing to testboard/isabelle
does not seem to trigger new builds. Is this related to the job renamings?
Another renaming issue is visible here:
https://ci.isabelle.systems/status/
The status icon still points to (the now non-existent)
