Skip to content
Jenkins
log in
Dashboard
util.shell
Status
Changes
Build History
trend
No builds
#10
Jun 2, 2023, 12:51 PM
#9
Feb 18, 2022, 3:52 AM
#8
Jan 20, 2022, 3:41 PM
#7
Jan 20, 2022, 3:40 PM
#6
Nov 19, 2021, 10:18 AM
#5
Nov 19, 2021, 10:15 AM
#4
Nov 18, 2020, 9:11 AM
#3
Jan 15, 2020, 7:37 AM
#2
Sep 24, 2019, 8:00 AM
#1
Sep 24, 2019, 7:58 AM
util
.shell
Permalinks
Last build (#10), 10 mo ago
Last stable build (#10), 10 mo ago
Last successful build (#10), 10 mo ago
Last failed build (#1), 4 yr 6 mo ago
Last unsuccessful build (#1), 4 yr 6 mo ago
Last completed build (#10), 10 mo ago
![[Jenkins]](/ecoretools/static/8a709633/images/svgs/logo.svg){kind=logo}
