Merge branch 'better-ci-reports' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Sat, 16 May 2020 00:52:56 +0000 (00:52 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Sat, 16 May 2020 00:52:56 +0000 (00:52 +0000)
ci: Add the backend to the reports

See merge request GNOME/gtk!1911


Trivial merge