fix: update crossref theorem test regexes for title bracket syntax #6739
| Job | Run time |
|---|---|
| 23s | |
| 4s | |
| 17m 32s | |
| 23m 31s | |
| 26m 14s | |
| 26m 17s | |
| 14m 16s | |
| 15m 53s | |
| 21m 33s | |
| 16m 16s | |
| 16m 2s | |
| 25m 10s | |
| 17m 39s | |
| 16m 18s | |
| 16m 0s | |
| 22m 39s | |
| 24m 21s | |
| 26m 43s | |
| 26m 8s | |
| 16m 16s | |
| 25m 49s | |
| 17m 14s | |
| 25m 6s | |
| 16m 43s | |
| 18m 6s | |
| 27m 40s | |
| 26m 52s | |
| 23m 0s | |
| 25m 3s | |
| 17m 31s | |
| 17m 33s | |
| 16m 3s | |
| 25m 54s | |
| 23m 32s | |
| 15m 30s | |
| 22m 55s | |
| 16m 24s | |
| 23m 55s | |
| 17m 56s | |
| 26m 29s | |
| 17m 20s | |
| 23m 29s | |
| 13h 59m 19s |