Improve regex for xs:time and xs:dateTime; allow up to twelve decima… #1324
| Job | Run time |
|---|---|
| 16s | |
| 12s | |
| 27s | |
| 13s | |
| 5s | |
| 0s | |
| 0s | |
| 1m 2s | |
| 22s | |
| 29s | |
| 1m 1s | |
| 30s | |
| 1m 2s | |
| 23s | |
| 7s | |
| 37s | |
| 5s | |
| 6m 51s |
| Job | Run time |
|---|---|
| 16s | |
| 12s | |
| 27s | |
| 13s | |
| 5s | |
| 0s | |
| 0s | |
| 1m 2s | |
| 22s | |
| 29s | |
| 1m 1s | |
| 30s | |
| 1m 2s | |
| 23s | |
| 7s | |
| 37s | |
| 5s | |
| 6m 51s |