]> Nishi Git Mirror - gwion.git/commitdiff
Update gwion.yml
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Fri, 6 Dec 2019 21:09:17 +0000 (22:09 +0100)
committerGitHub <noreply@github.com>
Fri, 6 Dec 2019 21:09:17 +0000 (22:09 +0100)
.github/workflows/gwion.yml

index 23fc09d2ddb4547603ca2b459aceeca7f7a6b499..81134a7292492650fd0a2e7c04e6964ca2a71b0d 100644 (file)
@@ -23,7 +23,7 @@ jobs:
          CFLAGS: -fsanitize=address -fno-omit-frame-pointer
          LDFLAGS: -fsanitize=address -fno-omit-frame-pointer
       run: make CC=${{ matrix.cc }} USE_DOUBLE=${{ matrix.double }}
-    - name: make test
+    - name: make test ${{ runner.temp }}
       env:
         GWION_TEST_DIR: /home/runner/work/Gwion/Gwion/tmp_test
         VALGRIND: NO_VALGRIND