From 93d5f76f785ca2f9388d437d533b6b0cc5ee25c9 Mon Sep 17 00:00:00 2001 From: Jorge Martins Date: Mon, 2 Oct 2023 16:50:15 +0200 Subject: [PATCH] factorize cron task --- .github/workflows/cflite_cron.yml | 67 +++++++------------------------ 1 file changed, 15 insertions(+), 52 deletions(-) diff --git a/.github/workflows/cflite_cron.yml b/.github/workflows/cflite_cron.yml index d7776df80..44ac10c25 100644 --- a/.github/workflows/cflite_cron.yml +++ b/.github/workflows/cflite_cron.yml @@ -8,71 +8,34 @@ on: - cron: '0 13 * * 6' # At 01:00 PM, only on Saturday permissions: read-all jobs: - BatchFuzzing: + Fuzzing: runs-on: ubuntu-latest strategy: fail-fast: false matrix: - sanitizer: [address, undefined, memory] # Override this with the sanitizers you want. + include: + - mode: batch + sanitizer: address + - mode: batch + sanitizer: memory + - mode: prune + sanitizer: address + - mode: coverage + sanitizer: coverage steps: - - name: Build Fuzzers (${{ matrix.sanitizer }}) + - name: Build Fuzzers (${{ matrix.mode }} - ${{ matrix.sanitizer }}) id: build uses: google/clusterfuzzlite/actions/build_fuzzers@v1 with: + github-token: ${{ secrets.GITHUB_TOKEN }} language: c # Change this to the language you are fuzzing. sanitizer: ${{ matrix.sanitizer }} - - name: Run Fuzzers (${{ matrix.sanitizer }}) + - name: Run Fuzzers (${{ matrix.mode }} - ${{ matrix.sanitizer }}) id: run uses: google/clusterfuzzlite/actions/run_fuzzers@v1 with: github-token: ${{ secrets.GITHUB_TOKEN }} fuzz-seconds: 300 # 5 minutes - mode: 'batch' + mode: ${{ matrix.mode }} sanitizer: ${{ matrix.sanitizer }} - outpuf-sarif: true - # Optional but recommended: For storing certain artifacts from fuzzing. - # storage-repo: https://${{ secrets.PERSONAL_ACCESS_TOKEN }}@github.com/OWNER/STORAGE-REPO-NAME.git - # storage-repo-branch: main # Optional. Defaults to "main" - # storage-repo-branch-coverage: gh-pages # Optional. Defaults to "gh-pages". - Pruning: - runs-on: ubuntu-latest - steps: - - name: Build Fuzzers - id: build - uses: google/clusterfuzzlite/actions/build_fuzzers@v1 - with: - language: c # Change this to the language you are fuzzing - - name: Run Fuzzers - id: run - uses: google/clusterfuzzlite/actions/run_fuzzers@v1 - with: - github-token: ${{ secrets.GITHUB_TOKEN }} - fuzz-seconds: 300 # 5 minutes - mode: 'prune' - output-sarif: true - # Optional but recommended. - # storage-repo: https://${{ secrets.PERSONAL_ACCESS_TOKEN }}@github.com/OWNER/STORAGE-REPO-NAME.git - # storage-repo-branch: main # Optional. Defaults to "main" - # storage-repo-branch-coverage: gh-pages # Optional. Defaults to "gh-pages". - Coverage: - runs-on: ubuntu-latest - steps: - - name: Build Fuzzers - id: build - uses: google/clusterfuzzlite/actions/build_fuzzers@v1 - with: - language: c # Change this to the language you are fuzzing. - sanitizer: coverage - - name: Run Fuzzers - id: run - uses: google/clusterfuzzlite/actions/run_fuzzers@v1 - with: - github-token: ${{ secrets.GITHUB_TOKEN }} - fuzz-seconds: 300 # 5 minutes - mode: 'coverage' - sanitizer: 'coverage' - # Optional but recommended. - # storage-repo: https://${{ secrets.PERSONAL_ACCESS_TOKEN }}@github.com/OWNER/STORAGE-REPO-NAME.git - # storage-repo-branch: main # Optional. Defaults to "main" - # storage-repo-branch-coverage: gh-pages # Optional. Defaults to "gh-pages". - + \ No newline at end of file