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

index c3287d3c2db7bd020ec41d1450e90bf6978d49a3..9c2cfa68d44c2e340d5ffcb77cfed42c6a146ba2 100644 (file)
@@ -37,4 +37,4 @@ jobs:
            $env:USE_MEMCHECK="0"
            $env:SEVERITY="3"
            $env:separator="\"
-           bash -c "SEVERITY=3 make test"
+           bash -c "export VALGRIND=NO_VALGRIND; export SEVERITY=3; make test"