Skip to content
Jenkins
log in
Dashboard
Norbert Schirmer <nschirmer@apple.com>
My Views
All
isabelle-nightly-benchmark
Status
Changes
Mercurial Polling Log
Embeddable Build Status
Build History
trend
No builds
#2214
Jun 26, 2024, 12:50 AM
225 MB
#2213
Jun 25, 2024, 12:50 AM
225 MB
#2212
Jun 23, 2024, 12:50 AM
225 MB
#2211
Jun 21, 2024, 12:50 AM
225 MB
#2210
Jun 20, 2024, 12:50 AM
225 MB
#2209
Jun 19, 2024, 12:50 AM
225 MB
#2208
Jun 18, 2024, 12:50 AM
225 MB
#2207
Jun 17, 2024, 3:35 AM
225 MB
#2206
Jun 15, 2024, 12:50 AM
225 MB
#2205
Jun 12, 2024, 4:30 AM
225 MB
#2204
Jun 11, 2024, 5:19 AM
225 MB
#2203
Jun 10, 2024, 4:02 AM
225 MB
#2202
Jun 9, 2024, 12:50 AM
225 MB
#2201
Jun 7, 2024, 2:44 AM
225 MB
#2200
Jun 6, 2024, 12:50 AM
225 MB
#2199
Jun 5, 2024, 12:50 AM
225 MB
#2198
Jun 4, 2024, 2:53 AM
225 MB
#2197
Jun 3, 2024, 12:50 AM
225 MB
#2196
Jun 2, 2024, 12:50 AM
225 MB
#2195
Jun 1, 2024, 12:50 AM
225 MB
#2194
May 30, 2024, 12:50 AM
225 MB
#2193
May 26, 2024, 12:50 AM
225 MB
#2192
May 25, 2024, 12:50 AM
225 MB
#2191
May 24, 2024, 12:50 AM
225 MB
#2190
May 14, 2024, 4:56 AM
225 MB
#2189
May 3, 2024, 12:57 AM
225 MB
#2188
Apr 27, 2024, 12:50 AM
225 MB
#2187
Apr 25, 2024, 12:50 AM
225 MB
#2186
Apr 24, 2024, 12:50 AM
225 MB
#2185
Apr 23, 2024, 12:50 AM
225 MB
isabelle
-nightly
-benchmark
AFP timing session group.
This project is currently disabled
Last Successful Artifacts
image/svg+xml
Spreadsheet
Jakub Steiner
http://jimmac.musichall.cz
spreadheet
document
office
Disk Usage
Job
141 GB
All builds
141 GB
Locked builds
-
All workspaces
2 GB
Agent workspaces
2 GB
Non-agent workspaces
-
Permalinks
Last build (#2214), 17 hr ago
Last stable build (#2214), 17 hr ago
Last successful build (#2214), 17 hr ago
Last failed build (#2154), 3 mo 12 days ago
Last unsuccessful build (#2167), 2 mo 27 days ago
Last completed build (#2214), 17 hr ago