Customer's full PR was ignored because the last commit included [skip ci]. I know this is stated in our documentation. They'd like to see all other commits to build and only ignore the single [skip ci] one.
CCI-I-152