]> Nishi Git Mirror - gwion.git/commitdiff
Merge pull request #212 from SenorGrande/feat/skip-benchmark
authorJérémie Astor <fennecdjay@gmail.com>
Mon, 12 Oct 2020 19:37:38 +0000 (21:37 +0200)
committerGitHub <noreply@github.com>
Mon, 12 Oct 2020 19:37:38 +0000 (21:37 +0200)
:wrench: Add command to skip benchmark


Trivial merge