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