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 /src/include | |
| parent | f30fbc321259570bb9458dc10b240b784a1a6d00 (diff) | |
Run fuzzing tests also on push event (like the CI tests) (#1400)
Diffstat (limited to 'src/include')
0 files changed, 0 insertions, 0 deletions