Skip to content
Jenkins
log in
Dashboard
wenzelm
My Views
isabelle-nightly-slow
Status
Changes
Mercurial Polling Log
Embeddable Build Status
Build History
trend
No builds
#2504
Mar 27, 2024, 1:33 AM
188 MB
#2503
Mar 26, 2024, 1:33 AM
188 MB
#2502
Mar 25, 2024, 1:33 AM
188 MB
#2501
Mar 23, 2024, 1:33 AM
188 MB
#2500
Mar 22, 2024, 1:33 AM
188 MB
#2499
Mar 21, 2024, 1:33 AM
188 MB
#2498
Mar 20, 2024, 1:33 AM
188 MB
#2497
Mar 19, 2024, 1:33 AM
188 MB
#2496
Mar 18, 2024, 1:33 AM
188 MB
#2494
Mar 16, 2024, 1:33 AM
50 KB
#2493
Mar 15, 2024, 1:33 AM
188 MB
#2492
Mar 14, 2024, 1:33 AM
189 MB
#2491
Mar 13, 2024, 1:33 AM
188 MB
#2490
Mar 12, 2024, 1:33 AM
188 MB
#2489
Mar 11, 2024, 1:33 AM
188 MB
#2487
Mar 9, 2024, 1:33 AM
188 MB
#2486
Mar 8, 2024, 1:33 AM
188 MB
#2485
Mar 7, 2024, 1:33 AM
188 MB
#2484
Mar 6, 2024, 1:33 AM
188 MB
#2483
Mar 5, 2024, 1:33 AM
188 MB
#2482
Mar 4, 2024, 1:33 AM
188 MB
#2481
Mar 2, 2024, 1:33 AM
188 MB
#2480
Mar 1, 2024, 1:33 AM
188 MB
#2479
Feb 29, 2024, 1:35 AM
244 MB
#2478
Feb 23, 2024, 1:35 AM
188 MB
#2477
Feb 22, 2024, 1:35 AM
188 MB
#2476
Feb 21, 2024, 1:35 AM
188 MB
#2475
Feb 20, 2024, 1:35 AM
188 MB
#2474
Feb 19, 2024, 1:35 AM
188 MB
#2473
Feb 17, 2024, 1:35 AM
188 MB
isabelle
-nightly
-slow
AFP slow 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
148 GB
All builds
148 GB
Locked builds
-
All workspaces
-
Agent workspaces
-
Non-agent workspaces
-
Permalinks
Last build (#2504), 1 mo 7 days ago
Last stable build (#2504), 1 mo 7 days ago
Last successful build (#2504), 1 mo 7 days ago
Last failed build (#2494), 1 mo 18 days ago
Last unsuccessful build (#2494), 1 mo 18 days ago
Last completed build (#2504), 1 mo 7 days ago