CI: fix contribs check, take one side of the diff

24 jobs for !612 with 1930-shader-bug-rel in 98 minutes and 2 seconds (queued for 2 seconds)
detached
Status Name Job ID Coverage
  Precheck
passed fast-build #13866

00:14:12

passed legal-check #13867

00:03:02

 
  Prepare
passed centos-xdk-prepare #13869

00:01:53

passed macos-xdk-prepare #13870
macos

00:01:29

passed ubuntu-xdk-prepare #13868

00:00:41

passed windows-10-prepare #13871
windows10

00:02:32

passed windows-8-prepare #13872
windows8

00:01:46

 
  Build
passed centos-xdk-build #13875

00:29:02

passed debian-build #13873

00:24:48

passed macos-xdk-build #13895
macos

00:21:05

passed ubuntu-xdk-build-doc #13874

00:32:52

passed ubuntu-xdk-qa-code-coverage #13879

00:54:43

passed ubuntu-xdk-qa-static-analysis #13880

00:37:36

passed windows-10-build #13877
windows10

00:31:38

passed windows-8-build #13878
windows8

00:36:09

failed macos-xdk-build #13876
macos

00:14:31

 
  Report
passed ubuntu-xdk-report #13881

00:05:26

 
  External
passed cdash:centos-6.6-gcc

passed cdash:debian-unstable-gcc

passed cdash:macos-10.11.6-clang

passed cdash:ubuntu-18.04-fast

passed cdash:windows-10-x64-vc14.0

passed cdash:windows-8.1-x86-vc14.0

failed cdash:macos-10.11.6-clang