From c53c30e09d996ceb6835287b4050841310a64e7c Mon Sep 17 00:00:00 2001
From: iphydf <iphydf@users.noreply.github.com>
Date: Wed, 5 Feb 2025 21:45:59 +0000
Subject: [PATCH] chore: Add time option to manual fuzz trigger.

This allows us to test things with less than 1 hour of waiting time.
---
 .github/workflows/cflite_batch.yml | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/cflite_batch.yml b/.github/workflows/cflite_batch.yml
index 2a018c271c..cfb39fd565 100644
--- a/.github/workflows/cflite_batch.yml
+++ b/.github/workflows/cflite_batch.yml
@@ -6,6 +6,12 @@ on:
   schedule:
     - cron: '0 6,8 * * *'  # Run twice a day at low activity times
   workflow_dispatch:       # Manual trigger for testing
+    inputs:
+      fuzz-seconds:
+        description: 'Number of seconds to fuzz (total, not per test)'
+        required: false
+        type: number
+        default: 3600
 
 permissions: read-all
 
@@ -30,7 +36,8 @@ jobs:
       uses: google/clusterfuzzlite/actions/run_fuzzers@v1
       with:
         github-token: ${{ secrets.GITHUB_TOKEN }}
-        fuzz-seconds: 3600 # 60min
+        # 1 hour on schedule, configurable on manual trigger.
+        fuzz-seconds: ${{ github.event.inputs.fuzz-seconds || 3600 }}
         mode: 'batch'
         sanitizer: ${{ matrix.sanitizer }}
         # Optional but recommended: For storing certain artifacts from fuzzing.