Skip to content
Jenkins
log in
Dashboard
isabelle-nightly-benchmark
Status
Changes
Mercurial Polling Log
Embeddable Build Status
Build History
trend
No builds
#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
#2177
Apr 14, 2024, 12:50 AM
225 MB
#2176
Apr 13, 2024, 12:50 AM
225 MB
#2175
Apr 12, 2024, 12:50 AM
225 MB
#2174
Apr 11, 2024, 12:50 AM
225 MB
#2173
Apr 9, 2024, 12:50 AM
225 MB
#2172
Apr 6, 2024, 4:16 AM
225 MB
#2171
Apr 5, 2024, 3:42 AM
225 MB
#2170
Apr 4, 2024, 12:50 AM
225 MB
#2169
Apr 3, 2024, 1:05 AM
225 MB
#2168
Apr 2, 2024, 12:50 AM
225 MB
#2167
Mar 31, 2024, 12:50 AM
-
#2166
Mar 29, 2024, 12:50 AM
224 MB
#2165
Mar 28, 2024, 2:45 AM
224 MB
#2164
Mar 27, 2024, 12:50 AM
224 MB
#2163
Mar 26, 2024, 12:50 AM
224 MB
#2162
Mar 25, 2024, 12:50 AM
224 MB
#2161
Mar 23, 2024, 12:50 AM
224 MB
#2160
Mar 22, 2024, 4:21 AM
224 MB
#2159
Mar 21, 2024, 1:39 AM
224 MB
#2158
Mar 20, 2024, 12:50 AM
224 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
135 GB
All builds
135 GB
Locked builds
-
All workspaces
2 GB
Agent workspaces
2 GB
Non-agent workspaces
-
Permalinks
Last build (#2187), 8 hr 53 min ago
Last stable build (#2187), 8 hr 53 min ago
Last successful build (#2187), 8 hr 53 min ago
Last failed build (#2154), 1 mo 10 days ago
Last unsuccessful build (#2167), 25 days ago
Last completed build (#2187), 8 hr 53 min ago
![[Jenkins]](/jenkins/static/109fb1e5/images/svgs/logo.svg){kind=logo}
