Adapt to coq/coq#19023 (Vernacexpr.subproof_kind) #3015
| Job | Run time |
|---|---|
| 7m 13s | |
| 8m 33s | |
| 7m 35s | |
| 1m 28s | |
| 8m 14s | |
| 49s | |
| 2m 16s | |
| 14s | |
| 7m 47s | |
| 8m 56s | |
| 7m 57s | |
| 8m 10s | |
| 8m 34s | |
| 15m 49s | |
| 1h 33m 35s |
| Job | Run time |
|---|---|
| 7m 13s | |
| 8m 33s | |
| 7m 35s | |
| 1m 28s | |
| 8m 14s | |
| 49s | |
| 2m 16s | |
| 14s | |
| 7m 47s | |
| 8m 56s | |
| 7m 57s | |
| 8m 10s | |
| 8m 34s | |
| 15m 49s | |
| 1h 33m 35s |