23:43:12 [2019-10-07T23:43:12.990Z] Workaround for PR auto-cancel feature. Borrowed from https://issues.jenkins-ci.org/browse/JENKINS-43353