Jenkins:testboard (latest builds)2024-03-27T21:09:14ZJenkins Serverurn:uuid:903deee0-7bfa-11db-9fe1-0800200c9a66afp_testboard #34 (broken since build #33)tag:hudson.dev.java.net,2008:https://ci.isabelle.systems/jenkins/view/testboard/job/afp_testboard/2024-03-27T21:09:14Z2024-03-27T21:09:14Ztestboard #1015 (broken since build #1011)tag:hudson.dev.java.net,2008:https://ci.isabelle.systems/jenkins/view/testboard/job/testboard/2024-03-28T14:24:23Z2024-03-28T14:24:23Z