15:07:46 [2020-05-10T15:07:46.983Z] + [ PR != PR ] 15:07:46 [2020-05-10T15:07:46.983Z] + [ master != master ] 15:07:46 [2020-05-10T15:07:46.983Z] + [ false = true ]