Skip to content
Jenkins
log in
Dashboard
rename-file
Status
Changes
Build History
trend
No builds
#10
May 17, 2022, 2:43 PM
#9
May 17, 2022, 2:41 PM
#8
Apr 26, 2022, 1:18 PM
#7
Apr 26, 2022, 1:15 PM
#6
Apr 26, 2022, 1:09 PM
rename
-file
Rename a file in the Jakarta EE Spec project download area
Permalinks
Last build (#10), 1 yr 11 mo ago
Last stable build (#10), 1 yr 11 mo ago
Last successful build (#10), 1 yr 11 mo ago
Last completed build (#10), 1 yr 11 mo ago
![[Jenkins]](/jakartaee-spec-committee/static/55436871/images/svgs/logo.svg){kind=logo}
