Bump the magik language server to 0.10.0 (#4514) #5317
Job | Run time |
---|---|
2m 4s | |
2m 36s | |
2m 28s | |
4m 26s | |
3m 45s | |
2m 42s | |
4m 15s | |
2m 52s | |
1m 21s | |
2m 49s | |
40s | |
29m 58s |
Job | Run time |
---|---|
2m 4s | |
2m 36s | |
2m 28s | |
4m 26s | |
3m 45s | |
2m 42s | |
4m 15s | |
2m 52s | |
1m 21s | |
2m 49s | |
40s | |
29m 58s |