]> granicus.if.org Git - graphviz/commitdiff
projects / graphviz / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: fe32a6b 6e41937)
Merge branch 'add-metrics-report-with-warnings-to-ci' into 'master'
authorMagnus Jacobsson <magnus.jacobsson@berotec.se>
Sat, 29 Aug 2020 17:54:10 +0000 (17:54 +0000)
committerMagnus Jacobsson <magnus.jacobsson@berotec.se>
Sat, 29 Aug 2020 17:54:10 +0000 (17:54 +0000)
Add a metrics report with warnings to pull requests

See merge request graphviz/graphviz!1547


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.