Implement $str$extract_groups()
#628
| Job | Run time |
|---|---|
| 14m 20s | |
| 15m 10s | |
| 20m 3s | |
| 17m 23s | |
| 1m 29s | |
| 0s | |
| 0s | |
| 0s | |
| 1h 8m 25s |
$str$extract_groups()
#628
| Job | Run time |
|---|---|
| 14m 20s | |
| 15m 10s | |
| 20m 3s | |
| 17m 23s | |
| 1m 29s | |
| 0s | |
| 0s | |
| 0s | |
| 1h 8m 25s |