Optionally specify * to handle unknown proj-tag-names
#17
| Job | Run time |
|---|---|
| 53s | |
| 22s | |
| 1m 15s |
* to handle unknown proj-tag-names
#17
| Job | Run time |
|---|---|
| 53s | |
| 22s | |
| 1m 15s |