Skip to content

Bump to FLINT 3.5.0 #1656

Bump to FLINT 3.5.0

Bump to FLINT 3.5.0 #1656

Job Run time
1m 54s
2m 14s
16m 31s
5m 35s
3m 59s
3m 31s
1m 57s
14m 2s
13m 59s
15m 47s
15m 11s
33m 58s
4m 50s
5m 4s
4m 48s
11m 2s
9m 45s
2m 50s
5m 10s
4m 41s
44m 54s
7m 33s
32m 14s
1m 17s
0s
0s
18s
22s
20s
33s
20s
15s
22s
12s
23s
19s
12s
19s
17s
12s
25s
28s
25s
16s
27s
27s
1m 35s
1m 7s
1m 9s
1m 50s
1m 7s
44s
1m 0s
1m 9s
23s
23s
29s
33s
35s
24s
1m 40s
1m 13s
18s
1m 56s
31s
1m 44s
2m 11s
36s
1m 15s
17s
30s
1m 23s
13s
14s
26s
30s
30s
25s
1m 8s
10s
17s
39s
25s
13s
29s
37s
1m 7s
10s
0s
5h 3m 13s