beremiz

Github CI: upload artifact (reports) when failing

2022-07-06, etisserant
49e7d2247d46
Github CI: upload artifact (reports) when failing
<?xml version='1.0' encoding='utf-8'?>
<CExtension CFLAGS="" LDFLAGS=""/>