Windows: fix coqdep for coq 8.19.2 and enable coq-quickick for Windows #1930
| Job | Run time |
|---|---|
| 2h 42m 39s | |
| 2h 23m 49s | |
| 2h 26m 16s | |
| 2h 20m 32s | |
| 2h 11m 42s | |
| 2h 23m 47s | |
| 1h 6m 16s | |
| 1h 8m 8s | |
| 45m 0s | |
| 52m 33s | |
| 18h 20m 42s |
| Job | Run time |
|---|---|
| 2h 42m 39s | |
| 2h 23m 49s | |
| 2h 26m 16s | |
| 2h 20m 32s | |
| 2h 11m 42s | |
| 2h 23m 47s | |
| 1h 6m 16s | |
| 1h 8m 8s | |
| 45m 0s | |
| 52m 33s | |
| 18h 20m 42s |