Skip to content

gitlab-ci: place build logs into a file

They blow past the CI log limits otherwise.


Cc: @tjcorona

Merge request reports