Stop using GNU libtool for linking GAP and libgap #4931
Job | Run time |
---|---|
4m 20s | |
32m 29s | |
5m 40s | |
6m 18s | |
20m 35s | |
5m 24s | |
28m 44s | |
7m 28s | |
8m 20s | |
22m 36s | |
3m 50s | |
2m 50s | |
4m 23s | |
15m 6s | |
0s | |
2h 48m 3s |
Job | Run time |
---|---|
4m 20s | |
32m 29s | |
5m 40s | |
6m 18s | |
20m 35s | |
5m 24s | |
28m 44s | |
7m 28s | |
8m 20s | |
22m 36s | |
3m 50s | |
2m 50s | |
4m 23s | |
15m 6s | |
0s | |
2h 48m 3s |