#127 add timestamps to pipeline output
Merged by ralph. Opened by mikeb.
mikeb/waiverdb timestamps  into  master

Download 127.patch
no initial comment

:+1:

Do we need to install a corresponding plugin on rcm-tools-jenkins? I guess you get a parse error if Jenkins doesn't know what the timestamp { } block is supposed to do.

Pull-Request has been merged by ralph

Metadata