Merge pull request #1374 from marc-vdm/dark_theme_settings #1026
Job | Run time |
---|---|
37s | |
41s | |
5s | |
0s | |
0s | |
0s | |
0s | |
2m 25s | |
2m 11s | |
1m 51s | |
5m 20s | |
3m 43s | |
3m 18s | |
3m 33s | |
23m 44s |
Job | Run time |
---|---|
37s | |
41s | |
5s | |
0s | |
0s | |
0s | |
0s | |
2m 25s | |
2m 11s | |
1m 51s | |
5m 20s | |
3m 43s | |
3m 18s | |
3m 33s | |
23m 44s |