13:48:10 [2019-11-25T13:48:10.015Z] Workaround for PR auto-cancel feature. Borrowed from https://issues.jenkins-ci.org/browse/JENKINS-43353
![[Jenkins]](/public/static/177d139e/images/svgs/logo.svg){kind=logo}
