]> Nishi Git Mirror - gwion.git/commit
:wrench: coverage build options
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Sun, 16 Feb 2020 23:16:21 +0000 (00:16 +0100)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Sun, 16 Feb 2020 23:16:21 +0000 (00:16 +0100)
commit13605ff1bb77a3b930d29542530b8bfd99d7faae
tree83a0d34dcccb180180727939056e19f55247bfc4
parent0116da362166e2941b8f2e6cb216909651e865fb
:wrench: coverage build options
.github/workflows/coverage.yml