Skip to content
Jenkins
log in
Dashboard
Rene Thiemann <rene.thiemann@uibk.ac.at>
My Views
All
isabelle-all
Status
Changes
Mercurial Polling Log
Embeddable Build Status
Build History
trend
No builds
#5262
May 13, 2024, 11:48 PM
3 MB
#5261
May 13, 2024, 5:23 PM
3 MB
#5260
May 10, 2024, 10:21 AM
Groovy
-
#5259
May 6, 2024, 5:44 PM
181 KB
#5258
May 3, 2024, 8:32 PM
57 KB
#5257
May 3, 2024, 8:02 PM
58 KB
#5256
May 3, 2024, 6:08 PM
68 KB
#5255
May 3, 2024, 3:02 PM
76 KB
#5254
May 3, 2024, 11:44 AM
334 KB
#5253
May 3, 2024, 12:32 AM
87 KB
#5252
May 2, 2024, 12:02 PM
130 KB
#5251
May 2, 2024, 10:29 AM
56 KB
#5250
Apr 30, 2024, 4:47 PM
56 KB
#5249
Apr 29, 2024, 12:59 PM
117 KB
#5248
Apr 26, 2024, 1:30 PM
56 KB
#5247
Apr 24, 2024, 10:00 PM
59 KB
#5246
Apr 24, 2024, 2:24 PM
59 KB
#5245
Apr 24, 2024, 2:08 PM
57 KB
#5244
Apr 24, 2024, 1:47 PM
57 KB
#5243
Apr 24, 2024, 10:26 AM
59 KB
#5242
Apr 23, 2024, 10:47 PM
59 KB
#5241
Apr 23, 2024, 4:03 PM
56 KB
#5240
Apr 23, 2024, 11:29 AM
59 KB
#5239
Apr 22, 2024, 11:12 PM
78 KB
#5238
Apr 22, 2024, 3:05 PM
59 KB
#5237
Apr 22, 2024, 11:48 AM
59 KB
#5236
Apr 21, 2024, 5:36 PM
59 KB
#5235
Apr 21, 2024, 12:41 PM
143 KB
#5234
Apr 21, 2024, 3:20 AM
56 KB
#5232
Apr 21, 2024, 12:05 AM
59 KB
isabelle
-all
Full build of Isabelle and the AFP, without slow sessions.
image/svg+xml
Spreadsheet
Jakub Steiner
http://jimmac.musichall.cz
spreadheet
document
office
Disk Usage
Job
263 GB
All builds
263 GB
Locked builds
-
All workspaces
21 GB
Agent workspaces
21 GB
Non-agent workspaces
-
Permalinks
Last build (#5262), 5 hr 45 min ago
Last stable build (#5253), 11 days ago
Last successful build (#5253), 11 days ago
Last failed build (#5262), 5 hr 45 min ago
Last unsuccessful build (#5262), 5 hr 45 min ago
Last completed build (#5262), 5 hr 45 min ago