Return Option
instead of Result
for a cleaner API (#2)
#40
Job | Run time |
---|---|
12s | |
13s | |
1m 58s | |
12s | |
11s | |
14s | |
3m 0s |
Option
instead of Result
for a cleaner API (#2)
#40
Job | Run time |
---|---|
12s | |
13s | |
1m 58s | |
12s | |
11s | |
14s | |
3m 0s |