Skip to content
Jenkins
log in
Dashboard
wenzelm
My Views
All
isabelle-all
Status
Changes
Mercurial Polling Log
Embeddable Build Status
Build History
trend
No builds
#5140
Mar 28, 2024, 8:36 AM
-
#5139
Mar 28, 2024, 4:55 AM
73 KB
#5138
Mar 27, 2024, 9:57 PM
3 MB
#5137
Mar 27, 2024, 5:56 PM
19 KB
#5136
Mar 27, 2024, 5:50 PM
20 KB
#5135
Mar 27, 2024, 5:14 PM
20 KB
#5134
Mar 27, 2024, 4:53 PM
20 KB
#5133
Mar 27, 2024, 4:20 PM
21 KB
#5132
Mar 27, 2024, 3:56 PM
20 KB
#5131
Mar 27, 2024, 3:46 PM
24 KB
#5130
Mar 27, 2024, 11:00 AM
3 MB
#5129
Mar 27, 2024, 7:14 AM
114 KB
#5128
Mar 26, 2024, 10:18 PM
63 KB
#5127
Mar 26, 2024, 8:27 PM
58 KB
#5126
Mar 26, 2024, 3:48 PM
3 MB
#5125
Mar 26, 2024, 11:14 AM
67 KB
#5124
Mar 26, 2024, 6:36 AM
3 MB
#5123
Mar 26, 2024, 4:26 AM
61 KB
#5122
Mar 25, 2024, 9:56 PM
61 KB
#5121
Mar 25, 2024, 9:15 PM
55 KB
#5120
Mar 25, 2024, 8:50 PM
56 KB
#5119
Mar 25, 2024, 8:19 PM
55 KB
#5118
Mar 25, 2024, 8:03 PM
57 KB
#5117
Mar 25, 2024, 6:41 PM
62 KB
#5116
Mar 25, 2024, 6:20 PM
67 KB
#5115
Mar 25, 2024, 6:00 PM
63 KB
#5114
Mar 25, 2024, 3:48 PM
58 KB
#5113
Mar 25, 2024, 3:04 PM
143 KB
#5112
Mar 25, 2024, 10:27 AM
3 MB
#5111
Mar 24, 2024, 3:50 PM
88 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
20 GB
Agent workspaces
20 GB
Non-agent workspaces
-
Permalinks
Last build (#5140), 1 hr 6 min ago
Last stable build (#5128), 1 day 11 hr ago
Last successful build (#5128), 1 day 11 hr ago
Last failed build (#5139), 4 hr 47 min ago
Last unsuccessful build (#5139), 4 hr 47 min ago
Last completed build (#5139), 4 hr 47 min ago