Merge branch 'ci-details' into 'master'
Add some polish to CI integration Check the list of commits to see what I changed. cc @dzaporozhets @rspeicher I'd love to get this into 8.1, since it's mostly refactoring/tweaking of stuff that was _introduced_ in 8.1. Fixes #2645. See merge request !1641
Showing with 161 additions and 185 deletions