Speed up CI
CI is taking 25 minutes, while it could be faster (especially switching the codesniffer job from debian:stretch to php:cli-stretch should help a lot)
CI is taking 25 minutes, while it could be faster (especially switching the codesniffer job from debian:stretch to php:cli-stretch should help a lot)