check-ci: multiple improvements#3788

cataphract wants to merge 1 commit intomasterDataDog/dd-trace-php:masterfrom

glopes/improv-check-ciDataDog/dd-trace-php:glopes/improv-check-ciCopy head branch name to clipboard