]> Nishi Git Mirror - gwion.git/commitdiff
projects / gwion.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: ddf3c1b)
:art: update
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Wed, 8 Jan 2020 11:50:40 +0000 (12:50 +0100)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Wed, 8 Jan 2020 11:50:40 +0000 (12:50 +0100)
.github/workflows/windows.yml patch | blob | history

diff --git a/.github/workflows/windows.yml b/.github/workflows/windows.yml
index a729316527168738e615a939b7b603c448e5a79d..660ec0517223c9fcd929376d625d875d76558631 100644 (file)
--- a/.github/workflows/windows.yml
+++ b/.github/workflows/windows.yml
@@ -36,4 +36,5 @@ jobs:
            $env:VALGRIND="NO_VALGRIND"
            $env:USE_MEMCHECK="0"
            $env:SEVERITY="3"
+           $env:separator="\"
            make test
strongly-timed musical programming language