]> Nishi Git Mirror - gwion.git/commit
:wrench: change coverage mail
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Sat, 22 Feb 2020 00:57:16 +0000 (01:57 +0100)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Sat, 22 Feb 2020 00:57:16 +0000 (01:57 +0100)
commit8dc42767a81c8156031846c9a76ec5d9460328a7
tree96c89215b69e7803ee1b862f7dc19efd0b35c1bb
parent63cd724dcd279dc4a89fb3c8d660b29af7c2a4e7
:wrench: change coverage mail
.github/workflows/coverage.yml