[PATCH v10 01/14] ci: Dumps the d3d12 summary line in the CI log.

[Giovanni Mascellani]

From: Giovanni Mascellani

---
 gitlab/build-mac | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/gitlab/build-mac b/gitlab/build-mac
index 17a8c7a0d..15e398d51 100755
--- a/gitlab/build-mac
+++ b/gitlab/build-mac
@@ -19,6 +19,10 @@ else
     touch ../build_failed
 fi

+# d3d12 lumps many tests, so it's useful to have the summary line in
+# the CI log
+cat tests/d3d12.log | egrep 'd3d12: [0-9]+ tests executed' || true
+
 mkdir -p ../artifacts/$COMMIT
 rsync -Rr config.log test-suite.log tests/*.log tests/*/*.log ../artifacts/$COMMIT || true