Skip to content
Jenkins
log in
Dashboard
isabelle-all
Status
Changes
Mercurial Polling Log
Embeddable Build Status
Build History
trend
No builds
#4490
Jun 3, 2023, 3:00 PM
2 MB
#4489
Jun 2, 2023, 5:45 PM
1012 KB
#4488
Jun 2, 2023, 2:29 PM
64 KB
#4487
Jun 2, 2023, 2:02 PM
59 KB
#4486
Jun 2, 2023, 1:14 PM
Groovy
357 KB
#4485
Jun 1, 2023, 5:45 PM
2 MB
#4484
May 31, 2023, 3:58 PM
2 MB
#4483
May 31, 2023, 11:45 AM
2 MB
#4482
May 30, 2023, 12:12 PM
52 KB
#4481
May 29, 2023, 11:24 AM
959 KB
#4480
May 28, 2023, 12:30 AM
963 KB
#4479
May 27, 2023, 7:15 PM
2 MB
#4478
May 26, 2023, 12:21 PM
978 KB
#4477
May 26, 2023, 6:47 AM
57 KB
#4476
May 25, 2023, 8:21 PM
2 MB
#4475
May 23, 2023, 6:18 PM
2 MB
#4474
May 23, 2023, 4:59 PM
59 KB
#4473
May 23, 2023, 12:17 AM
131 KB
#4472
May 22, 2023, 8:12 PM
2 MB
#4471
May 22, 2023, 1:26 PM
80 KB
#4470
May 18, 2023, 5:30 PM
590 KB
#4469
May 16, 2023, 12:09 PM
590 KB
#4468
May 16, 2023, 8:20 AM
56 KB
#4467
May 12, 2023, 11:20 PM
2 MB
#4466
May 12, 2023, 1:29 PM
56 KB
#4465
May 11, 2023, 3:21 PM
2 MB
#4464
May 11, 2023, 11:32 AM
71 KB
#4463
May 10, 2023, 11:48 PM
2 MB
#4462
May 10, 2023, 3:24 PM
65 KB
#4461
May 10, 2023, 1:54 PM
703 KB
Project isabelle
-all
Full build of Isabelle and the AFP, without slow sessions.
Disk Usage
Job
301 GB
All builds
301 GB
Locked builds
-
All workspaces
32 GB
Slave workspaces
32 GB
Non-slave workspaces
-
Permalinks
Last build (#4490), 20 hr ago
Last stable build (#4490), 20 hr ago
Last successful build (#4490), 20 hr ago
Last failed build (#4487), 1 day 21 hr ago
Last unsuccessful build (#4487), 1 day 21 hr ago
Last completed build (#4490), 20 hr ago
![[Jenkins]](/jenkins/static/692843d7/images/svgs/logo.svg){kind=logo}
