escape regex characters that may appear in identifiers, fixes #680 #1666
| Job | Run time |
|---|---|
| 1m 33s | |
| 3m 9s | |
| 4m 49s | |
| 5m 28s | |
| 3m 51s | |
| 8m 30s | |
| 5m 37s | |
| 2m 57s | |
| 3m 26s | |
| 3m 59s | |
| 3m 49s | |
| 6m 11s | |
| 5m 24s | |
| 7m 9s | |
| 7m 41s | |
| 1h 13m 33s |
| Job | Run time |
|---|---|
| 1m 33s | |
| 3m 9s | |
| 4m 49s | |
| 5m 28s | |
| 3m 51s | |
| 8m 30s | |
| 5m 37s | |
| 2m 57s | |
| 3m 26s | |
| 3m 59s | |
| 3m 49s | |
| 6m 11s | |
| 5m 24s | |
| 7m 9s | |
| 7m 41s | |
| 1h 13m 33s |