Add missing configuration options for the Ada Language Server. #5408
Job | Run time |
---|---|
2m 5s | |
2m 30s | |
2m 29s | |
3m 42s | |
3m 37s | |
3m 2s | |
3m 18s | |
3m 5s | |
1m 21s | |
2m 41s | |
6m 10s | |
34m 0s |
Job | Run time |
---|---|
2m 5s | |
2m 30s | |
2m 29s | |
3m 42s | |
3m 37s | |
3m 2s | |
3m 18s | |
3m 5s | |
1m 21s | |
2m 41s | |
6m 10s | |
34m 0s |