Merge pull request #140 from nakengelhardt/junit_jny
authorMiodrag Milanović <mmicko@gmail.com>
Fri, 8 Apr 2022 13:26:48 +0000 (15:26 +0200)
committerGitHub <noreply@github.com>
Fri, 8 Apr 2022 13:26:48 +0000 (15:26 +0200)
commit1e1aea0b1ecd523c1e4a3c6566fb078f0dbfdfeb
treebcd650358a58af9fa14bfe53cd3e3cdaf917fb14
parent4886ed7e1999fd24a6e4d4383bc4fa1f91c2484e
parent8ce526c22d872f65af8fd409f42f09be3ff3a2d9
Merge pull request #140 from nakengelhardt/junit_jny

junit: use write_jny instead of write_json