Feat (core): Make theme settings user-specific and user-configurable #7140
| Job | Run time |
|---|---|
| 14m 10s | |
| 16m 10s | |
| 15m 34s | |
| 13m 41s | |
| 13m 26s | |
| 17m 43s | |
| 18m 11s | |
| 15m 42s | |
| 14m 48s | |
| 13m 44s | |
| 0s | |
| 2h 33m 9s |
| Job | Run time |
|---|---|
| 14m 10s | |
| 16m 10s | |
| 15m 34s | |
| 13m 41s | |
| 13m 26s | |
| 17m 43s | |
| 18m 11s | |
| 15m 42s | |
| 14m 48s | |
| 13m 44s | |
| 0s | |
| 2h 33m 9s |