Commit b402b061 authored by Iñaki Malerba's avatar Iñaki Malerba

Merge branch 'master' into 'master'

tee logs of reprotest so they can be browsed during the build

See merge request !88
parents 4a5c2ff4 5ad87a6c
Pipeline #49932 passed with stages
in 7 minutes and 20 seconds