Optionally specify * to handle unknown proj-tag-names
#15
| Job | Run time |
|---|---|
| 18s | |
| 22s | |
| 40s |
* to handle unknown proj-tag-names
#15
| Job | Run time |
|---|---|
| 18s | |
| 22s | |
| 40s |