[DOC] Correct .rdoc_options
filename in comment
#673
Job | Run time |
---|---|
3s | |
23s | |
1m 12s | |
2m 1s | |
20s | |
52s | |
1m 51s | |
20s | |
39s | |
1m 58s | |
33s | |
34s | |
1m 10s | |
1m 37s | |
1m 44s | |
1m 39s | |
1m 41s | |
1m 39s | |
3m 31s | |
2m 12s | |
3m 25s | |
29m 24s |