Switch the code theme to github-dark-default (#141)
#435
| Job | Run time |
|---|---|
| 52s | |
| 33s | |
| 1m 25s |
github-dark-default (#141)
#435
| Job | Run time |
|---|---|
| 52s | |
| 33s | |
| 1m 25s |