[PATCH v13 01/16] ci: Dump the d3d12 summary line in the CI log.

[Giovanni Mascellani]

From: Giovanni Mascellani

d3d12 lumps many tests together, so it's useful to have the summary
line in the CI log.
---
 gitlab/build-linux | 2 ++
 gitlab/build-mac   | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/gitlab/build-linux b/gitlab/build-linux
index d7e7573f1..4871d3d70 100755
--- a/gitlab/build-linux
+++ b/gitlab/build-linux
@@ -20,6 +20,8 @@ else
     touch ../build_failed
 fi

+cat tests/d3d12.log | egrep 'd3d12: [0-9]+ tests executed' || true
+
 mkdir -p ../artifacts/$COMMIT
 rsync -Rr config.log doc/* test-suite.log tests/*.log tests/*/*.log ../artifacts/$COMMIT || true

diff --git a/gitlab/build-mac b/gitlab/build-mac
index 17a8c7a0d..0813ddea8 100755
--- a/gitlab/build-mac
+++ b/gitlab/build-mac
@@ -19,6 +19,8 @@ else
     touch ../build_failed
 fi

+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