Add a pick for 8.19.2 with the Ltac2 debugger (preview) #1975
| Job | Run time |
|---|---|
| 2h 46m 41s | |
| 2h 22m 17s | |
| 2h 21m 48s | |
| 2h 18m 29s | |
| 1h 6m 38s | |
| 1h 8m 37s | |
| 45m 38s | |
| 52m 35s | |
| 13h 42m 43s |
| Job | Run time |
|---|---|
| 2h 46m 41s | |
| 2h 22m 17s | |
| 2h 21m 48s | |
| 2h 18m 29s | |
| 1h 6m 38s | |
| 1h 8m 37s | |
| 45m 38s | |
| 52m 35s | |
| 13h 42m 43s |