Bump FLINT to 3.2.0-rc2 #1134
Job | Run time |
---|---|
3m 6s | |
4m 16s | |
8m 59s | |
1m 54s | |
9m 39s | |
23m 48s | |
14m 39s | |
5m 58s | |
4m 45s | |
1m 55s | |
5m 5s | |
5m 21s | |
2m 24s | |
6m 40s | |
4m 30s | |
2m 34s | |
17m 12s | |
1m 36s | |
4m 56s | |
9s | |
8s | |
24s | |
8s | |
0s | |
9s | |
10s | |
10s | |
18s | |
10s | |
18s | |
16s | |
18s | |
18s | |
10s | |
13s | |
0s | |
0s | |
2h 12m 36s |