[coq] [workspace] Remove machinery for old-style manual ML path handling #3148
| Job | Run time |
|---|---|
| 5m 28s | |
| 1m 39s | |
| 5m 29s | |
| 5m 31s | |
| 3m 39s | |
| 5m 30s | |
| 14s | |
| 56s | |
| 5m 30s | |
| 5m 32s | |
| 5m 31s | |
| 5m 29s | |
| 5m 30s | |
| 5m 32s | |
| 5m 24s | |
| 1h 6m 54s |
| Job | Run time |
|---|---|
| 5m 28s | |
| 1m 39s | |
| 5m 29s | |
| 5m 31s | |
| 3m 39s | |
| 5m 30s | |
| 14s | |
| 56s | |
| 5m 30s | |
| 5m 32s | |
| 5m 31s | |
| 5m 29s | |
| 5m 30s | |
| 5m 32s | |
| 5m 24s | |
| 1h 6m 54s |