Semantic highlight and document symbols on slang 0.10 #1035
| Job | Run time |
|---|---|
| 7m 45s | |
| 5m 46s | |
| 5m 46s | |
| 3m 26s | |
| 3m 36s | |
| 2m 47s | |
| 2m 47s | |
| 53s | |
| 4m 54s | |
| 5m 20s | |
| 4m 59s | |
| 5m 8s | |
| 53m 7s |
| Job | Run time |
|---|---|
| 7m 45s | |
| 5m 46s | |
| 5m 46s | |
| 3m 26s | |
| 3m 36s | |
| 2m 47s | |
| 2m 47s | |
| 53s | |
| 4m 54s | |
| 5m 20s | |
| 4m 59s | |
| 5m 8s | |
| 53m 7s |