From: Jérémie Astor Date: Wed, 16 Dec 2020 17:13:17 +0000 (+0100) Subject: :wrench: Fuzzit deprecated X-Git-Tag: nightly~1104 X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=97c99f869e1927b26614c2c4fbe593974d5d8a8a;p=gwion.git :wrench: Fuzzit deprecated --- diff --git a/.github/workflows/fuzzit.yml b/.github/workflows/fuzzit.yml deleted file mode 100644 index b7f07629..00000000 --- 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 }}