:wrench: Fuzzit deprecated

diff --git a/.github/workflows/fuzzit.yml b/.github/workflows/fuzzit.yml
deleted file mode 100644 (file)
index b7f0762..0000000
--- a/.github/workflows/fuzzit.yml
+++ /dev/null
@@ -1,38 +0,0 @@
-
-name: Fuzzing
-
-on:
-  push:
-    branches:    
-    - 'master'
-
-jobs:
-  build:
-    name: Fuzzing
-    runs-on: ubuntu-16.04
-    if: "!contains(github.event.head_commit.message, '[skip ci]')"
-
-    steps:
-    - uses: actions/checkout@v2
-
-    - name: Build Gwion
-      run: |
-         git submodule update --init ast util
-         cd util; CFLAGS="" make include/generated.h; cd ..
-         make util/libgwion_util.a ast/libgwion_ast.a libgwion.a
-      env:
-        CC: clang
-        CFLAGS: -D__FUZZING__ -DDUMMY_MAIN -fsanitize=fuzzer-no-link
-
-    - name: Build fuzzer
-      run: ${CC} -fsanitize=fuzzer -Iutil/include -Iast/include -Iinclude scripts/fuzzer.c libgwion.a util/libgwion_util.a ast/libgwion_ast.a -o fuzzer
-      env:
-        CC: clang
-
-    - name: Setup fuzzit tool
-      run: |
-         wget -q -O fuzzit https://github.com/fuzzitdev/fuzzit/releases/latest/download/fuzzit_Linux_x86_64
-         chmod a+x fuzzit
-         ./fuzzit create job --type fuzzing gwion fuzzer
-      env:
-        FUZZIT_API_KEY: ${{ secrets.FUZZIT }}