ci: bump typecheck timeout to 15 minutes

Setup phase (ssh2 native build) eats ~5min, leaving insufficient time
for typecheck across 37 packages within the 10min limit.
This commit is contained in:
Thomas Camlong committed 2026-07-03 16:34:05 +02:00
1 parent 8b38c83cc0
commit e0dc782c9e
1 file changed
+1 -1
+1 -1
View File
@@ -90,7 +90,7 @@ jobs:
typecheck:
runs-on: ubuntu-latest
timeout-minutes: 10
timeout-minutes: 15
steps:
- uses: actions/checkout@v6
with: