[JIRA] (JENKINS-40839) pipeline timeout doesn't kill the job

2018-03-13 Thread zach.w...@gtri.gatech.edu (JIRA)
Title: Message Title Zach Welz edited a

[JIRA] (JENKINS-40839) pipeline timeout doesn't kill the job

2018-03-13 Thread zach.w...@gtri.gatech.edu (JIRA)
Title: Message Title Zach Welz commented