Merge pull request #93 from niels-nijens/add-treating-anyof-and-oneof… #184
Job | Run time |
---|---|
8s | |
16s | |
19s | |
21s | |
21s | |
21s | |
28s | |
20s | |
19s | |
19s | |
34s | |
23s | |
20s | |
21s | |
30s | |
21s | |
22s | |
20s | |
21s | |
19s | |
19s | |
27s | |
23s | |
19s | |
25s | |
22s | |
9m 18s |
Job | Run time |
---|---|
8s | |
16s | |
19s | |
21s | |
21s | |
21s | |
28s | |
20s | |
19s | |
19s | |
34s | |
23s | |
20s | |
21s | |
30s | |
21s | |
22s | |
20s | |
21s | |
19s | |
19s | |
27s | |
23s | |
19s | |
25s | |
22s | |
9m 18s |