.github/workflows/doc-build*.yml: Use 4 instead of 2 processors #127
Job | Run time |
---|---|
1h 1m 48s | |
1h 0m 11s | |
1h 0m 4s | |
1h 48m 44s | |
1h 49m 15s | |
1h 49m 10s | |
8h 29m 12s |
Job | Run time |
---|---|
1h 1m 48s | |
1h 0m 11s | |
1h 0m 4s | |
1h 48m 44s | |
1h 49m 15s | |
1h 49m 10s | |
8h 29m 12s |