Isabelle Build Manager

Dashboard

Queue: 0 tasks waiting

HostActivity
of1.proof.cit.tum.deidle
of2.proof.cit.tum.deidle
of3.proof.cit.tum.deidle
of4.proof.cit.tum.deidle
se1.proof.cit.tum.deidle
se2.proof.cit.tum.deidle
se3.proof.cit.tum.deidle
se4.proof.cit.tum.deidle

Builds

Total: 4682 builds

all

#1527 (ok in 0:04:21) on Sat Apr 4 22:26:19 GMT+2 2026

indexing

#61 (ok in 4:45:09) on Sun Mar 29 04:34:42 GMT+2 2026

presentation

#620 (ok in 4:13:33) on Sat Apr 4 00:17:00 GMT+2 2026

user

#2474 (ok in 0:06:06) on Sat Apr 4 21:33:17 GMT+2 2026