Luca Boccassi 734d6e4870 Problem: we have to send a PR to oss-fuzz on every build change on the fuzzers ...

Solution: move the script to our repo, and simply call it from oss-fuzz's script

2020-06-30 16:03:04 +01:00

..

ci_build.sh

Problem: we have to send a PR to oss-fuzz on every build change on the fuzzers

2020-06-30 16:03:04 +01:00