Github CI: upload artifact (reports) when failing

2022-07-06, etisserant