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