]> Nishi Git Mirror - gwion.git/commitdiff
:wrench: winaction?
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Fri, 6 Dec 2019 23:03:59 +0000 (00:03 +0100)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Fri, 6 Dec 2019 23:03:59 +0000 (00:03 +0100)
.github/workflows/win.yml [new file with mode: 0644]

diff --git a/.github/workflows/win.yml b/.github/workflows/win.yml
new file mode 100644 (file)
index 0000000..c792659
--- /dev/null
@@ -0,0 +1,28 @@
+
+name: Windows
+
+on: [push]
+
+jobs:
+  build:
+    runs-on: windows-latest
+    strategy:
+      matrix:
+        double: [0, 1]
+
+    steps:
+    - uses: actions/checkout@v1
+    - name: submodules
+      run: git submodule update --init util ast
+    - name: make
+      env:
+         USE_DOUBLE: ${{ matrix.double }}
+         CFLAGS: -fsanitize=address -fno-omit-frame-pointer
+         LDFLAGS: -fsanitize=address -fno-omit-frame-pointer
+      run: make USE_DOUBLE=${{ matrix.double }}
+    - name: make test ${{ runner.temp }}
+      env:
+        VALGRIND: NO_VALGRIND
+        USE_MEMCHECK: 0
+        SEVERITY: 3
+      run: export GWION_TEST_DIR=${{ runner.tmp }}/tmp/test; mkdir $GWION_TEST_DIR && make test