Merge pull request #1516 from o1-labs/dw/increase-timeout-fuzzing-lint

CI/lint: increase timeout to 10min

Author: dannywillems

.github/workflows/lint.yaml

@@ -44,7 +44,7 @@ jobs:
           DATABASE_URL: "sqlite:///tmp/heartbeats.db"
 
   lint-tx-fuzzing:
-    timeout-minutes: 5
+    timeout-minutes: 10
     name: Lint transaction Fuzzing - ${{ matrix.os }} - Rust ${{ matrix.toolchain }}
     runs-on: ${{ matrix.os }}
     strategy: