Commit 26ebc35
committed
Merge #403: Small CI adjustments
dbcbcff ci: increase the number of workers (Antoine Poinsot)
4a1480d ci: don't run in VERBOSE, we don't use it (Antoine Poinsot)
28e670d ci: increase task timeout (Antoine Poinsot)
Pull request description:
Trying to make the CI run faster, and avoid transient timeouts
ACKs for top commit:
darosior:
ACK dbcbcff
Tree-SHA512: f170a668ec6f57e3bcb74813f5ef47d52501fa003dfa6af8925987ffdb453717c5003ff689761a10ceb6c58d7ce38149b83522e009cd3b20c9217d75a31719721 file changed
+3
-2
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| 5 | + | |
5 | 6 | | |
6 | 7 | | |
7 | | - | |
8 | | - | |
| 8 | + | |
| 9 | + | |
9 | 10 | | |
10 | 11 | | |
11 | 12 | | |
| |||
0 commit comments