From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Fri, 6 Dec 2019 21:00:47 +0000 (+0100)
Subject: Delete gwion.yml
X-Git-Tag: nightly~2068^2~2
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=5099a0dde39e85dc03dd42357287b919f1fce17e;p=gwion.git

Delete gwion.yml
---

diff --git a/.github/workflow/gwion.yml b/.github/workflow/gwion.yml
deleted file mode 100644
index e8cab632..00000000
--- a/.github/workflow/gwion.yml
+++ /dev/null
@@ -1,31 +0,0 @@
-name: C/C++ CI
-
-on: [push]
-
-jobs:
-  build:
-
-    runs-on: ${{ matrix.os }}
-    strategy:
-      matrix:
-        os: [ubuntu-latest, macos-latest, windows-latest]
-        cc: [gcc, clang]
-        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 CC=${{ matrix.cc }} USE_DOUBLE=${{ matrix.double }}
-    - name: make test
-      env:
-        GWION_TEST_DIR: /home/runner/work/Gwion/Gwion/tmp_test
-        VALGRIND: NO_VALGRIND
-        USE_MEMCHECK: 0
-        SEVERITY: 3
-      run: mkdir tmp_test && echo $PWD && make test