Skip to content
Jenkins
log in
Dashboard
isabelle-all
Status
Changes
Mercurial Polling Log
Embeddable Build Status
Build History
trend
No builds
#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
#5231
Apr 20, 2024, 11:32 PM
64 KB
#5230
Apr 20, 2024, 1:12 PM
59 KB
#5229
Apr 20, 2024, 7:26 AM
90 KB
#5228
Apr 20, 2024, 2:50 AM
123 KB
#5227
Apr 20, 2024, 2:02 AM
114 KB
#5226
Apr 20, 2024, 1:11 AM
152 KB
#5225
Apr 19, 2024, 7:08 PM
57 KB
#5224
Apr 19, 2024, 1:35 PM
125 KB
#5223
Apr 19, 2024, 1:17 PM
57 KB
#5222
Apr 19, 2024, 2:55 AM
58 KB
#5221
Apr 18, 2024, 5:57 PM
62 KB
#5220
Apr 18, 2024, 4:00 PM
56 KB
#5219
Apr 18, 2024, 2:12 PM
746 KB
#5218
Apr 18, 2024, 8:56 AM
85 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 (#5248), 3 hr 44 min ago
Last stable build (#5248), 3 hr 44 min ago
Last successful build (#5248), 3 hr 44 min ago
Last failed build (#5197), 11 days ago
Last unsuccessful build (#5197), 11 days ago
Last completed build (#5248), 3 hr 44 min ago