Skip to content
Jenkins
log in
Dashboard
nipkow
My Views
All
isabelle-repo-makeall
Status
Changes
Embeddable Build Status
Build History
trend
No builds
#1773
Jun 27, 2018, 3:26 AM
4 MB
#1772
Jun 26, 2018, 10:51 PM
4 MB
#1771
Jun 26, 2018, 5:15 PM
4 MB
#1770
Jun 26, 2018, 3:25 PM
4 MB
#1769
Jun 26, 2018, 11:01 AM
4 MB
#1768
Jun 25, 2018, 5:51 PM
4 MB
#1767
Jun 25, 2018, 3:56 PM
4 MB
#1766
Jun 25, 2018, 2:53 PM
4 MB
#1765
Jun 24, 2018, 10:40 PM
4 MB
#1764
Jun 24, 2018, 4:13 PM
20 MB
#1763
Jun 24, 2018, 2:13 PM
20 MB
#1762
Jun 23, 2018, 5:37 PM
20 MB
#1761
Jun 22, 2018, 10:31 PM
20 MB
#1760
Jun 22, 2018, 2:35 AM
20 MB
#1759
Jun 21, 2018, 12:49 PM
20 MB
#1758
Jun 21, 2018, 3:08 AM
20 MB
#1757
Jun 21, 2018, 12:45 AM
20 MB
#1756
Jun 20, 2018, 12:01 PM
20 MB
#1755
Jun 20, 2018, 10:49 AM
20 MB
#1754
Jun 19, 2018, 9:10 PM
20 MB
#1753
Jun 19, 2018, 3:22 PM
20 MB
#1752
Jun 19, 2018, 12:40 AM
20 MB
#1751
Jun 18, 2018, 2:37 PM
20 MB
#1750
Jun 18, 2018, 7:34 AM
20 MB
#1749
Jun 18, 2018, 12:19 AM
20 MB
#1748
Jun 17, 2018, 3:46 PM
20 MB
#1747
Jun 17, 2018, 7:22 AM
20 MB
#1746
Jun 16, 2018, 11:16 AM
20 MB
#1745
Jun 15, 2018, 3:30 PM
20 MB
#1744
Jun 15, 2018, 2:07 PM
20 MB
isabelle
-repo
-makeall
This project is currently disabled
Last Successful Artifacts
image/svg+xml
Spreadsheet
Jakub Steiner
http://jimmac.musichall.cz
spreadheet
document
office
Disk Usage
Job
10 GB
All builds
10 GB
Locked builds
-
All workspaces
-
Agent workspaces
-
Non-agent workspaces
-
Upstream Projects
Disabled
isabelle
-repo
Permalinks
Last build (#1773), 5 yr 11 mo ago
Last stable build (#1773), 5 yr 11 mo ago
Last successful build (#1773), 5 yr 11 mo ago
Last failed build (#1493), 6 yr 3 mo ago
Last unsuccessful build (#1638), 6 yr 1 mo ago
Last completed build (#1773), 5 yr 11 mo ago