Add CIFuzz workflow action to have fuzzers build and run on each PR.
This is a service offered by OSS-Fuzz where smt already runs. CIFuzz can help detect regressions, catch breaking changes caused by the code in a PR and catch fuzzing build issues early, and has a variety of features (see the URL above). In the current PR the fuzzers gets build on a pull request and will run for 300 seconds. I see there there is another action that builds the fuzzers, so this is an alternative suggestion with a dedicated CI fuzzing action.
Overview
Add CIFuzz workflow action to have fuzzers build and run on each PR.
This is a service offered by OSS-Fuzz where smt already runs. CIFuzz can help detect regressions, catch breaking changes caused by the code in a PR and catch fuzzing build issues early, and has a variety of features (see the URL above). In the current PR the fuzzers gets build on a pull request and will run for 300 seconds. I see there there is another action that builds the fuzzers, so this is an alternative suggestion with a dedicated CI fuzzing action.
An additional improvement to https://github.com/celestiaorg/smt/issues/31