Fix examples broken by #95 #191
Job | Run time |
---|---|
21s | |
19s | |
20s | |
23s | |
21s | |
20s | |
22s | |
24s | |
18s | |
32s | |
21s | |
27s | |
34s | |
28s | |
28s | |
26s | |
19s | |
20s | |
1s | |
23s | |
1s | |
7m 28s |
Job | Run time |
---|---|
21s | |
19s | |
20s | |
23s | |
21s | |
20s | |
22s | |
24s | |
18s | |
32s | |
21s | |
27s | |
34s | |
28s | |
28s | |
26s | |
19s | |
20s | |
1s | |
23s | |
1s | |
7m 28s |