fuzz: Set diff MAX_FUZZ_TIME for diff branches

.github/workflows/fuzz.yml

@@ -55,14 +55,24 @@ jobs:
       working-directory: ./polyjuice-tests/fuzz
       run: make build/test_contracts && ./build/test_contracts
 
+    - name: Set MAX_FUZZ_TIME for different branches
+      run: |
+        if [[ ${{ github.event_name == 'pull_request' }} ]]; then
+          echo "MAX_FUZZ_TIME=6" >> $GITHUB_ENV
+        elif [[ ${{ startsWith(github.base_ref, 'fuzz') }} ]]; then
+          echo "MAX_FUZZ_TIME=3600" >> $GITHUB_ENV
+        else
+          echo "MAX_FUZZ_TIME=60" >> $GITHUB_ENV
+        fi
+
     - name: Fuzzing Polyjuice Generator 1 hour
       working-directory: polyjuice-tests/fuzz
       run: |
         mkdir -p corpus-cache
         ls corpus-cache
         make build/polyjuice_generator_fuzzer && \
         ./build/polyjuice_generator_fuzzer corpus corpus-cache \
-          -max_total_time=3600 -timeout=120 \
+          -max_total_time=$MAX_FUZZ_TIME -timeout=120 \
           -max_len=25000 -rss_limit_mb=0
       # Max data buffer size: 24KB < 25000 bytes