Isabelle Build Manager

Dashboard

Queue: 1 tasks waiting

HostActivity
of1.proof.cit.tum.depresentation/510 running since Sun Dec 14 00:17:08 GMT+1 2025
of2.proof.cit.tum.de
of3.proof.cit.tum.de
of4.proof.cit.tum.de
se1.proof.cit.tum.de
se2.proof.cit.tum.de
se3.proof.cit.tum.de
se4.proof.cit.tum.de

Builds

Total: 4092 builds

all

#1292 (ok in 0:11:50) on Sat Dec 13 06:36:48 GMT+1 2025

indexing

#45 (ok in 4:53:54) on Sun Dec 7 03:17:06 GMT+1 2025

presentation

#510 running since Sun Dec 14 00:17:08 GMT+1 2025

first failure: #439 (failed in 1:12:01) on Sat Oct 4 00:17:03 GMT+2 2025

last success: #438 (ok in 4:11:47) on Fri Oct 3 00:17:02 GMT+2 2025

user

#2245 (ok in 2:00:59) on Sat Dec 13 09:17:09 GMT+1 2025