Adapt to coq/coq#19617 (Vernacexpr.print_universes) #3020
| Job | Run time |
|---|---|
| 9m 11s | |
| 1m 16s | |
| 8m 7s | |
| 2m 30s | |
| 8m 55s | |
| 8m 6s | |
| 8m 24s | |
| 15s | |
| 48s | |
| 8m 42s | |
| 8m 40s | |
| 8m 56s | |
| 8m 36s | |
| 15m 53s | |
| 1h 38m 19s |
| Job | Run time |
|---|---|
| 9m 11s | |
| 1m 16s | |
| 8m 7s | |
| 2m 30s | |
| 8m 55s | |
| 8m 6s | |
| 8m 24s | |
| 15s | |
| 48s | |
| 8m 42s | |
| 8m 40s | |
| 8m 56s | |
| 8m 36s | |
| 15m 53s | |
| 1h 38m 19s |