tree f5b95c581c23ea5c37a58c96465dbdc725ec3bb3
parent 891693f59b1bcb1789d59c8307b20f1570c1fdd9
author Romain Manni-Bucau <rmannibucau@gmail.com> 1603357145 +0200
committer Romain Manni-Bucau <rmannibucau@gmail.com> 1603357145 +0200

ensure mono junit5 extension is really mono