Skip to content
Jenkins
log in
Dashboard
Thibault Dardinier <thibault.dardinier@inf.ethz.ch>
My Views
All
isabelle-nightly-benchmark
Status
Changes
Mercurial Polling Log
Embeddable Build Status
Build History
trend
No builds
#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
#2184
Apr 22, 2024, 12:50 AM
225 MB
#2183
Apr 21, 2024, 12:50 AM
225 MB
#2182
Apr 19, 2024, 12:50 AM
225 MB
#2181
Apr 18, 2024, 4:33 AM
225 MB
#2180
Apr 17, 2024, 12:50 AM
225 MB
#2179
Apr 16, 2024, 12:50 AM
225 MB
#2178
Apr 15, 2024, 12:50 AM
225 MB
isabelle
-nightly
-benchmark
AFP timing session group.
Last Successful Artifacts
image/svg+xml
Spreadsheet
Jakub Steiner
http://jimmac.musichall.cz
spreadheet
document
office
Disk Usage
Job
140 GB
All builds
140 GB
Locked builds
-
All workspaces
2 GB
Agent workspaces
2 GB
Non-agent workspaces
-
Permalinks
Last build (#2207), 6 hr 53 min ago
Last stable build (#2207), 6 hr 53 min ago
Last successful build (#2207), 6 hr 53 min ago
Last failed build (#2154), 3 mo 3 days ago
Last unsuccessful build (#2167), 2 mo 18 days ago
Last completed build (#2207), 6 hr 53 min ago