Merge branch 'gitlab-test' into 'master'

Support for Gitlab CI Tests tab

See merge request !312

bob/devtools/build.py

@@ -591,6 +591,7 @@ def git_clean_build(runner, verbose):
         "miniconda.sh",  # the installer, cached
         "torch",  # eventual pytorch caches
         "sphinx",  # build artifact -- documentation
+        "test_results.xml",  # build artifact -- tests report
         "coverage.xml",  # build artifact -- coverage report
     ]
 

bob/devtools/data/gitlab-ci/single-package.yaml

@@ -45,8 +45,10 @@ stages:
     - bdt ci clean -vv
   coverage: '/(?i)total.*? (100(?:\.0+)?\%|[1-9]?\d(?:\.\d+)?\%)$/'
   artifacts:
+    when: always
     expire_in: 1 week
     reports:
+      junit: test_results.xml
       coverage_report:
         coverage_format: cobertura
         path: coverage.xml