diff --git a/.gitlab/add_final_status.xsl b/.gitlab/add_final_status.xsl new file mode 100644 index 00000000000..4b4c0da17fd --- /dev/null +++ b/.gitlab/add_final_status.xsl @@ -0,0 +1,58 @@ + + + + + + + + + + + + + + + + + + + + fail + skip + pass + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/.gitlab/collect_results.sh b/.gitlab/collect_results.sh index 0dc3a22f85c..d6bf007e6e6 100755 --- a/.gitlab/collect_results.sh +++ b/.gitlab/collect_results.sh @@ -77,6 +77,13 @@ do sed -i '/