13:18:12 [2020-12-23T13:18:12.756Z] + [ PR != PR ] 13:18:12 [2020-12-23T13:18:12.756Z] + [ master != master ] 13:18:12 [2020-12-23T13:18:12.756Z] + [ false = true ]