issue #11565 subpages named with capital letters are not found by LaTeX #3311
| Job | Run time |
|---|---|
| 10m 7s | |
| 12m 25s | |
| 10m 3s | |
| 11m 48s | |
| 17m 57s | |
| 15m 25s | |
| 16m 38s | |
| 21m 16s | |
| 9m 27s | |
| 12m 18s | |
| 17m 17s | |
| 16m 7s | |
| 19m 10s | |
| 21m 8s | |
| 3h 31m 6s |
| Job | Run time |
|---|---|
| 10m 7s | |
| 12m 25s | |
| 10m 3s | |
| 11m 48s | |
| 17m 57s | |
| 15m 25s | |
| 16m 38s | |
| 21m 16s | |
| 9m 27s | |
| 12m 18s | |
| 17m 17s | |
| 16m 7s | |
| 19m 10s | |
| 21m 8s | |
| 3h 31m 6s |