build: increase max_rss to 7.8G #17634
| Job | Run time |
|---|---|
| 3h 41m 49s | |
| 4h 14m 30s | |
| 1h 37m 8s | |
| 2h 34m 59s | |
| 1h 24m 9s | |
| 52m 37s | |
| 1h 11m 41s | |
| 50m 31s | |
| 57m 20s | |
| 24m 29s | |
| 17h 49m 13s |
| Job | Run time |
|---|---|
| 3h 41m 49s | |
| 4h 14m 30s | |
| 1h 37m 8s | |
| 2h 34m 59s | |
| 1h 24m 9s | |
| 52m 37s | |
| 1h 11m 41s | |
| 50m 31s | |
| 57m 20s | |
| 24m 29s | |
| 17h 49m 13s |