From: Magnus Jacobsson <magnus.jacobsson@berotec.se>
Date: Sat, 29 Aug 2020 17:54:10 +0000 (+0000)
Subject: Merge branch 'add-metrics-report-with-warnings-to-ci' into 'master'
X-Git-Tag: 2.46.0~20^2^2~103
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=92c408f48620141e7a88da3cf8622a1d06499bd7;p=graphviz

Merge branch 'add-metrics-report-with-warnings-to-ci' into 'master'

Add a metrics report with warnings to pull requests

See merge request graphviz/graphviz!1547
---

92c408f48620141e7a88da3cf8622a1d06499bd7