Skip to content

Add some polish to CI integration

Douwe Maan requested to merge ci-details into master

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 (closed).

Merge request reports