Adapt to Coq PR #18591: better refolding of addn induces now useless addnE #889
| Job | Run time |
|---|---|
| 19m 39s | |
| 19m 21s | |
| 19m 42s | |
| 19m 24s | |
| 19m 45s | |
| 19m 25s | |
| 20m 30s | |
| 19m 28s | |
| 20m 9s | |
| 2h 57m 23s |
| Job | Run time |
|---|---|
| 19m 39s | |
| 19m 21s | |
| 19m 42s | |
| 19m 24s | |
| 19m 45s | |
| 19m 25s | |
| 20m 30s | |
| 19m 28s | |
| 20m 9s | |
| 2h 57m 23s |