Skip to content
Jenkins
log in
Dashboard
wenzelm
My Views
isabelle-repo-afp
Status
Changes
Embeddable Build Status
Build History
trend
No builds
#1773
Jun 27, 2018, 3:26 AM
24 MB
#1772
Jun 27, 2018, 1:35 AM
24 MB
#1771
Jun 26, 2018, 8:20 PM
24 MB
#1770
Jun 26, 2018, 3:25 PM
23 MB
#1769
Jun 26, 2018, 11:01 AM
23 MB
#1768
Jun 25, 2018, 5:51 PM
23 MB
#1767
Jun 25, 2018, 4:41 PM
23 MB
#1766
Jun 25, 2018, 3:25 PM
23 MB
#1765
Jun 24, 2018, 10:40 PM
24 MB
#1764
Jun 24, 2018, 4:13 PM
81 MB
#1763
Jun 24, 2018, 2:28 PM
81 MB
#1762
Jun 23, 2018, 5:37 PM
81 MB
#1761
Jun 23, 2018, 12:16 AM
81 MB
#1760
Jun 22, 2018, 1:55 AM
81 MB
#1759
Jun 21, 2018, 12:49 PM
81 MB
#1758
Jun 21, 2018, 2:18 AM
81 MB
#1757
Jun 21, 2018, 12:22 AM
81 MB
#1756
Jun 20, 2018, 12:01 PM
81 MB
#1755
Jun 20, 2018, 10:49 AM
81 MB
#1754
Jun 19, 2018, 9:10 PM
81 MB
#1753
Jun 19, 2018, 3:22 PM
81 MB
#1752
Jun 19, 2018, 2:20 AM
81 MB
#1751
Jun 18, 2018, 2:59 PM
80 MB
#1750
Jun 18, 2018, 9:16 AM
81 MB
#1749
Jun 18, 2018, 1:52 AM
81 MB
#1748
Jun 17, 2018, 3:46 PM
81 MB
#1747
Jun 17, 2018, 9:05 AM
81 MB
#1746
Jun 16, 2018, 12:59 PM
81 MB
#1745
Jun 15, 2018, 4:55 PM
82 MB
#1744
Jun 15, 2018, 2:07 PM
79 MB
isabelle
-repo
-afp
This project is currently disabled
Last Successful Artifacts
image/svg+xml
Spreadsheet
Jakub Steiner
http://jimmac.musichall.cz
spreadheet
document
office
Disk Usage
Job
36 GB
All builds
36 GB
Locked builds
-
All workspaces
-
Agent workspaces
-
Non-agent workspaces
-
Upstream Projects
Disabled
isabelle
-repo
Permalinks
Last build (#1773), 5 yr 10 mo ago
Last stable build (#1772), 5 yr 10 mo ago
Last successful build (#1772), 5 yr 10 mo ago
Last failed build (#1773), 5 yr 10 mo ago
Last unsuccessful build (#1773), 5 yr 10 mo ago
Last completed build (#1773), 5 yr 10 mo ago
![[Jenkins]](/jenkins/static/f7776f3e/images/svgs/logo.svg){kind=logo}
