Commit 76fe50e9 authored Sep 23, 2018 by Andreas Klöckner

Merge branch 'gitlab-junit' into 'master'

Add Pytest/JUnit/Gitlab integration

See merge request inducer/grudge!27