commit 47fb11119fa33b43255648c86a9a1490dd2d1cb9
parent acdd481c0cab4d8dfe6cba7a155195004d814147
Author: MTRNord <mtrnord1@gmail.com>
Date: Wed, 7 Aug 2024 14:44:24 +0200
Allow manual trigger of batch run for fuzzers
Diffstat:
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/.github/workflows/cflite_batch.yml b/.github/workflows/cflite_batch.yml
@@ -2,6 +2,7 @@ name: ClusterFuzzLite batch fuzzing
on:
schedule:
- cron: '0 0 * * *' # Every 6th hour. Change this to whatever is suitable.
+ workflow_dispatch:
permissions: read-all
jobs:
BatchFuzzing: