Use outsourced examples in CI #415
Job | Run time |
---|---|
26s | |
1m 59s | |
24s | |
23s | |
38s | |
22s | |
22s | |
24s | |
34s | |
25s | |
35s | |
47s | |
1m 0s | |
47s | |
42s | |
42s | |
44s | |
1m 12s | |
1m 3s | |
32s | |
37s | |
35s | |
50s | |
26s | |
34s | |
34s | |
40s | |
51s | |
33s | |
38s | |
59s | |
32s | |
53s | |
53s | |
45s | |
25s | |
1m 3s | |
30s | |
36s | |
19s | |
20s | |
38s | |
54s | |
36s | |
35s | |
39s | |
48s | |
44s | |
50s | |
1m 20s | |
39s | |
3s | |
35m 20s |