Remove obsolete ".txt" extensions for AsciiDoc files #22417
| Job | Run time |
|---|---|
| 5s | |
| 40s | |
| 0s | |
| 9m 46s | |
| 9m 30s | |
| 9m 19s | |
| 7m 43s | |
| 1m 47s | |
| 4m 38s | |
| 31m 14s | |
| 10m 23s | |
| 9m 57s | |
| 25m 57s | |
| 11m 29s | |
| 10m 37s | |
| 27m 31s | |
| 10m 4s | |
| 11m 12s | |
| 27m 20s | |
| 36m 19s | |
| 30m 7s | |
| 30m 45s | |
| 3m 21s | |
| 3m 51s | |
| 4m 45s | |
| 0s | |
| 4m 27s | |
| 10m 22s | |
| 5m 17s | |
| 6m 24s | |
| 6m 41s | |
| 7m 4s | |
| 7m 0s | |
| 5m 11s | |
| 8m 24s | |
| 6m 22s | |
| 6h 35m 32s |