From: Matthias Clasen <mclasen@redhat.com>
Date: Sat, 16 May 2020 00:52:56 +0000 (+0000)
Subject: Merge branch 'better-ci-reports' into 'master'
X-Git-Tag: archive/raspbian/4.4.1+ds1-2+rpi1^2~18^2~17^2~35
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=f4d3d8e27c87b7979699f8bd71e044f4bd98703e;p=gtk4.git

Merge branch 'better-ci-reports' into 'master'

ci: Add the backend to the reports

See merge request GNOME/gtk!1911
---

f4d3d8e27c87b7979699f8bd71e044f4bd98703e