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

CI/lint: increase timeout to 15

Author: dannywillems

.github/workflows/lint.yaml

@@ -7,7 +7,7 @@ on:
 
 jobs:
   lint:
-    timeout-minutes: 10
+    timeout-minutes: 15
     name: Lint - ${{ matrix.os }}
     runs-on: ${{ matrix.os }}
     strategy: