Fix building with GNAT 10 & 11 #128
Job | Run time |
---|---|
19m 49s | |
21m 46s | |
17m 5s | |
25m 37s | |
23m 36s | |
10m 31s | |
9m 34s | |
9m 54s | |
10m 5s | |
10m 8s | |
18m 34s | |
19m 19s | |
17m 27s | |
18m 25s | |
18m 17s | |
4h 10m 7s |
Job | Run time |
---|---|
19m 49s | |
21m 46s | |
17m 5s | |
25m 37s | |
23m 36s | |
10m 31s | |
9m 34s | |
9m 54s | |
10m 5s | |
10m 8s | |
18m 34s | |
19m 19s | |
17m 27s | |
18m 25s | |
18m 17s | |
4h 10m 7s |