diff options
author | Ivan Nardi <12729895+IvanNardi@users.noreply.github.com> | 2022-01-12 21:04:01 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-01-12 21:04:01 +0100 |
commit | d4da3b651641ca74bf1bff1ed29a574288cb846e (patch) | |
tree | bef8c77a1b2414675259e33d0915b065dd22164f | |
parent | f30fbc321259570bb9458dc10b240b784a1a6d00 (diff) |
Run fuzzing tests also on push event (like the CI tests) (#1400)
-rw-r--r-- | .github/workflows/cifuzz.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/cifuzz.yml b/.github/workflows/cifuzz.yml index 18d20bd6d..c74c81096 100644 --- a/.github/workflows/cifuzz.yml +++ b/.github/workflows/cifuzz.yml @@ -1,5 +1,5 @@ name: CIFuzz -on: [pull_request] +on: [push, pull_request] jobs: Fuzzing: runs-on: ubuntu-latest |