Skip to content
Jenkins
log in
Dashboard
Thibault Dardinier <thibault.dardinier@inf.ethz.ch>
My Views
All
isabelle-all
Status
Changes
Mercurial Polling Log
Embeddable Build Status
Build History
trend
No builds
#5326
Jun 17, 2024, 9:06 AM
-
#5325
Jun 16, 2024, 10:30 PM
3 MB
#5324
Jun 14, 2024, 1:14 PM
58 KB
#5323
Jun 14, 2024, 12:39 PM
56 KB
#5322
Jun 12, 2024, 3:59 PM
56 KB
#5321
Jun 12, 2024, 1:35 PM
2 MB
#5320
Jun 12, 2024, 11:38 AM
190 KB
#5319
Jun 11, 2024, 11:26 PM
338 KB
#5318
Jun 11, 2024, 6:19 PM
276 KB
#5317
Jun 11, 2024, 1:13 PM
229 KB
#5316
Jun 11, 2024, 8:06 AM
229 KB
#5315
Jun 11, 2024, 12:14 AM
225 KB
#5314
Jun 10, 2024, 7:08 PM
193 KB
#5313
Jun 10, 2024, 6:43 PM
14 KB
#5312
Jun 10, 2024, 1:36 PM
204 KB
#5311
Jun 9, 2024, 10:57 PM
211 KB
#5310
Jun 8, 2024, 5:48 PM
212 KB
#5309
Jun 8, 2024, 11:21 AM
107 KB
#5308
Jun 7, 2024, 4:47 AM
3 MB
#5307
Jun 6, 2024, 9:45 PM
3 MB
#5306
Jun 6, 2024, 2:57 PM
58 KB
#5305
Jun 6, 2024, 1:54 PM
56 KB
#5304
Jun 6, 2024, 1:05 PM
56 KB
#5303
Jun 6, 2024, 10:00 AM
58 KB
#5302
Jun 5, 2024, 3:19 PM
57 KB
#5301
Jun 5, 2024, 2:53 PM
93 KB
#5300
Jun 4, 2024, 7:03 PM
57 KB
#5299
Jun 4, 2024, 6:33 PM
56 KB
#5298
Jun 4, 2024, 6:12 PM
66 KB
#5297
Jun 4, 2024, 5:47 PM
57 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 (#5326), 1 hr 27 min ago
Last stable build (#5324), 2 days 21 hr ago
Last successful build (#5324), 2 days 21 hr ago
Last failed build (#5325), 12 hr ago
Last unsuccessful build (#5325), 12 hr ago
Last completed build (#5325), 12 hr ago