[coq] Output findlib workspace status in workspace describe. #1716
| Job | Run time |
|---|---|
| 1m 4s | |
| 13m 59s | |
| 2m 37s | |
| 20s | |
| 16m 7s | |
| 7m 7s | |
| 14m 45s | |
| 19m 3s | |
| 15m 25s | |
| 25m 12s | |
| 25m 39s | |
| 2h 21m 18s |
| Job | Run time |
|---|---|
| 1m 4s | |
| 13m 59s | |
| 2m 37s | |
| 20s | |
| 16m 7s | |
| 7m 7s | |
| 14m 45s | |
| 19m 3s | |
| 15m 25s | |
| 25m 12s | |
| 25m 39s | |
| 2h 21m 18s |