Adapt to coq/coq#20313 (wit_tactic does not handle ltac in term) #732
| Job | Run time |
|---|---|
| 1m 3s | |
| 1m 28s | |
| 1m 28s | |
| 1m 2s | |
| 1m 50s | |
| 1m 33s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 8m 24s |
| Job | Run time |
|---|---|
| 1m 3s | |
| 1m 28s | |
| 1m 28s | |
| 1m 2s | |
| 1m 50s | |
| 1m 33s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 8m 24s |