Skip to content
Jenkins
log in
Dashboard
nipkow
My Views
All
isabelle-distributed
Status
Changes
Mercurial Polling Log
Embeddable Build Status
Build History
trend
No builds
#582
Feb 28, 2024, 6:00 PM
15 KB
#581
Dec 11, 2023, 9:48 AM
1 MB
#580
Dec 8, 2023, 9:22 PM
579 KB
#579
Dec 8, 2023, 6:00 PM
1 MB
#578
Dec 8, 2023, 2:59 PM
56 KB
#577
Dec 8, 2023, 12:35 PM
1 MB
#576
Dec 8, 2023, 12:24 PM
57 KB
#575
Dec 8, 2023, 10:33 AM
60 KB
#574
Dec 8, 2023, 12:50 AM
1 MB
#573
Dec 7, 2023, 2:22 PM
61 KB
#572
Dec 7, 2023, 12:50 AM
1 MB
#571
Dec 6, 2023, 6:17 PM
1 MB
#570
Dec 6, 2023, 12:57 PM
1 MB
#569
Dec 6, 2023, 12:09 PM
52 KB
#568
Dec 6, 2023, 8:24 AM
62 KB
#567
Dec 5, 2023, 10:36 PM
1 MB
#566
Dec 5, 2023, 10:30 AM
62 KB
#565
Dec 4, 2023, 11:45 PM
1 MB
#564
Dec 4, 2023, 10:21 AM
1 MB
#563
Nov 30, 2023, 11:39 PM
1 MB
#562
Nov 30, 2023, 9:00 PM
1 MB
#561
Nov 30, 2023, 6:33 PM
55 KB
#560
Nov 29, 2023, 10:15 PM
1 MB
#559
Nov 29, 2023, 6:36 PM
1 MB
#558
Nov 28, 2023, 9:21 PM
1 MB
#557
Nov 28, 2023, 6:30 PM
53 KB
#556
Nov 27, 2023, 9:15 PM
60 KB
#555
Nov 27, 2023, 10:54 AM
52 KB
#554
Nov 27, 2023, 9:00 AM
1 MB
#553
Nov 26, 2023, 2:06 PM
51 KB
isabelle
-distributed
Experimental distributed Isabelle build.
This project is currently disabled
image/svg+xml
Spreadsheet
Jakub Steiner
http://jimmac.musichall.cz
spreadheet
document
office
Disk Usage
Job
49 GB
All builds
49 GB
Locked builds
-
All workspaces
-
Agent workspaces
-
Non-agent workspaces
-
Permalinks
Last build (#582), 3 mo 20 days ago
Last stable build (#581), 6 mo 9 days ago
Last successful build (#581), 6 mo 9 days ago
Last failed build (#582), 3 mo 20 days ago
Last unsuccessful build (#582), 3 mo 20 days ago
Last completed build (#582), 3 mo 20 days ago