]> Nishi Git Mirror - gwion.git/commitdiff
:art: update
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Wed, 8 Jan 2020 16:22:19 +0000 (17:22 +0100)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Wed, 8 Jan 2020 16:22:19 +0000 (17:22 +0100)
.github/workflows/windows.yml

index 660ec0517223c9fcd929376d625d875d76558631..c3287d3c2db7bd020ec41d1450e90bf6978d49a3 100644 (file)
@@ -37,4 +37,4 @@ jobs:
            $env:USE_MEMCHECK="0"
            $env:SEVERITY="3"
            $env:separator="\"
-           make test
+           bash -c "SEVERITY=3 make test"