:art: Update

diff --git a/.github/workflows/gwion.yml b/.github/workflows/gwion.yml
deleted file mode 100644 (file)
index 57fc0e0..0000000
--- a/.github/workflows/gwion.yml
+++ /dev/null
@@ -1,31 +0,0 @@
-
-name: C/C++ CI
-
-on: [push]
-
-jobs:
-  build:
-    name: ${{ matrix.os }} ${{ matrix.cc }} ${{ matrix.double && 'double' || ''}}
-    runs-on: ${{ matrix.os }}
-    strategy:
-      matrix:
-        os: [ubuntu-latest, macos-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 ${{ 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

diff --git a/.github/workflows/win.yml b/.github/workflows/windows.yml
similarity index 100%
rename from .github/workflows/win.yml
rename to .github/workflows/windows.yml