Skip to content
Jenkins
log in
Dashboard
Norbert Schirmer <nschirmer@apple.com>
My Views
All
isabelle-all
Status
Changes
Mercurial Polling Log
Embeddable Build Status
Build History
trend
No builds
#5345
Jun 25, 2024, 6:20 PM
57 KB
#5344
Jun 25, 2024, 6:03 PM
57 KB
#5343
Jun 25, 2024, 2:03 PM
57 KB
#5342
Jun 25, 2024, 11:12 AM
65 KB
#5341
Jun 24, 2024, 10:57 PM
57 KB
#5340
Jun 23, 2024, 3:08 PM
153 KB
#5339
Jun 22, 2024, 11:23 PM
102 KB
#5338
Jun 22, 2024, 10:33 PM
57 KB
#5337
Jun 20, 2024, 11:56 PM
135 KB
#5336
Jun 20, 2024, 4:56 PM
1 MB
#5335
Jun 19, 2024, 2:02 PM
107 KB
#5334
Jun 19, 2024, 12:18 PM
649 KB
#5333
Jun 19, 2024, 10:23 AM
63 KB
#5332
Jun 19, 2024, 9:05 AM
60 KB
#5331
Jun 18, 2024, 5:50 PM
84 KB
#5330
Jun 18, 2024, 5:06 PM
72 KB
#5329
Jun 18, 2024, 3:44 PM
59 KB
#5328
Jun 17, 2024, 10:08 PM
83 KB
#5327
Jun 17, 2024, 2:59 PM
295 KB
#5326
Jun 17, 2024, 9:06 AM
3 MB
#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
isabelle
-all
Full build of Isabelle and the AFP, without slow sessions.
This project is currently disabled
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
22 GB
Agent workspaces
22 GB
Non-agent workspaces
-
Permalinks
Last build (#5345), 23 hr ago
Last stable build (#5345), 23 hr ago
Last successful build (#5345), 23 hr ago
Last failed build (#5336), 6 days 1 hr ago
Last unsuccessful build (#5336), 6 days 1 hr ago
Last completed build (#5345), 23 hr ago