Skip to content
Jenkins
log in
Dashboard
Rene Thiemann <rene.thiemann@uibk.ac.at>
My Views
All
isabelle-nightly-benchmark
Status
Changes
Mercurial Polling Log
Embeddable Build Status
Build History
trend
No builds
#2190
(pending—Waiting for next available executor on ‘
workermtahpc
’)
#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
#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
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
136 GB
All builds
136 GB
Locked builds
-
All workspaces
2 GB
Agent workspaces
2 GB
Non-agent workspaces
-
Permalinks
Last build (#2189), 11 days ago
Last stable build (#2189), 11 days ago
Last successful build (#2189), 11 days ago
Last failed build (#2154), 1 mo 29 days ago
Last unsuccessful build (#2167), 1 mo 14 days ago
Last completed build (#2189), 11 days ago
![[Jenkins]](/jenkins/static/77e8e0f1/images/svgs/logo.svg){kind=logo}
