Skip to content
Jenkins
log in
Dashboard
rename-file
#10
Parameters
Status
Changes
Console Output
View Build Information
Parameters
Timings
Previous Build
Parameters
SRC
The name of the source file to rename
DEST
The name of the destination file
![[Jenkins]](/jakartaee-spec-committee/static/55436871/images/svgs/logo.svg){kind=logo}
