]> Nishi Git Mirror - gwion.git/commitdiff
:art: pPdate
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Mon, 9 Dec 2019 11:07:42 +0000 (12:07 +0100)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Mon, 9 Dec 2019 11:07:42 +0000 (12:07 +0100)
.github/workflows/windows.yml

index 947f26720942f4125d5fbceff334ff667bcfc7bc..7a24201a31a815ccfd37be824d501c7d203e59e0 100644 (file)
@@ -23,12 +23,13 @@ jobs:
     - name: Export Script Parameter
       run: |
            echo "::set-env name=test_dir::${{ runner.temp }}"
+           echo "::set-env VALGRIND=NO_VALGRIND::${{ runner.temp }}"
            echo "export GWION_TEST_DIR=${{ runner.temp }}" > ~/.bashrc
     - name: test
       run: |
            ls ${{ runner.temp }}
            echo $SHELL
            echo $GWION_TEST_DIR
-           VALGRIND=NO_VALGRIND bash scripts/test.sh tests/match
+           bash scripts/test.sh tests/match
 #        make separator='\' VALGRIND=NO_VALGRIND SEVERITY=3 GWION_TEST_DIR=${{ runner.temp }} CC=$(which gcc) test