6ab0110964
Waiting for the fuzzer slows down the dev feedback loop because it makes CI slow. We still want fuzz coverage but not in a way that slows down devs. Instead of running the fuzzer on every PR just run it once a nightly. As we do for other daily jobs, rename the yaml file to make explicit what it does. Open questions: - This should run for 30 minutes but I can't work out why the current set up only runs for a shorter time than that? - Is this less fuzzing i.e., is 30 minutes once a day better or worse that 1 minute 30 times? |
||
|---|---|---|
| .. | ||
| coveralls.yml | ||
| cron-daily-fuzz.yml | ||
| cron-daily-kani.yml | ||
| cron-daily-update-nightly.yml | ||
| cron-weekly-rustfmt.yml | ||
| gh-release.yml | ||
| manage-pr.yml | ||
| release.yml | ||
| rust.yml | ||