Skip to content
Jenkins
log in
Dashboard
delete_deployed_milestone_or_release
Status
Changes
Build History
trend
No builds
#5
Jan 10, 2022, 9:53 AM
#4
Jan 10, 2022, 9:39 AM
#3
Jan 10, 2022, 9:38 AM
#2
Dec 16, 2019, 5:50 AM
#1
Jun 27, 2019, 11:41 AM
delete
_deployed
_milestone
_or
_release
delete from
download.eclipse.org/gemoc/*/[milestones|releases]/<[someversion]>
Permalinks
Last build (#5), 2 yr 3 mo ago
Last stable build (#5), 2 yr 3 mo ago
Last successful build (#5), 2 yr 3 mo ago
Last completed build (#5), 2 yr 3 mo ago
![[Jenkins]](/gemoc/static/e6d721fe/images/svgs/logo.svg){kind=logo}
