Remove redundant has_duplicates param from the header
#79
| Job | Run time |
|---|---|
| 8s | |
| 13s | |
| 11s | |
| 11s | |
| 12s | |
| 12s | |
| 10s | |
| 12s | |
| 10s | |
| 14s | |
| 9s | |
| 13s | |
| 11s | |
| 10s | |
| 12s | |
| 9s | |
| 11s | |
| 8s | |
| 14s | |
| 3m 30s |
has_duplicates param from the header
#79
| Job | Run time |
|---|---|
| 8s | |
| 13s | |
| 11s | |
| 11s | |
| 12s | |
| 12s | |
| 10s | |
| 12s | |
| 10s | |
| 14s | |
| 9s | |
| 13s | |
| 11s | |
| 10s | |
| 12s | |
| 9s | |
| 11s | |
| 8s | |
| 14s | |
| 3m 30s |