chore_: archive test coverage result as artifact (#5280)

2024-06-03 17:31:27 +01:00 · 2024-06-03 17:31:27 +01:00 · 12dfe285d7
parent bf78c15e6f
commit 12dfe285d7
1 changed files with 1 additions and 0 deletions
--- a/_assets/ci/Jenkinsfile.tests
+++ b/_assets/ci/Jenkinsfile.tests
@ -132,6 +132,7 @@ pipeline {
          ]) {
            nix.shell('make test-unit V=1', pure: false)
          }
+          archiveArtifacts('c.out')
        }
      } }
      post { cleanup { /* Leftover DB containers. */