Merge pull request #652 from coq-community/dependabot/npm_and_yarn/cl… #784
| Job | Run time |
|---|---|
| 1h 20m 21s | |
| 2m 1s | |
| 11m 32s | |
| 57s | |
| 14m 24s | |
| 2m 43s | |
| 10m 40s | |
| 14m 34s | |
| 11s | |
| 2h 17m 23s |
| Job | Run time |
|---|---|
| 1h 20m 21s | |
| 2m 1s | |
| 11m 32s | |
| 57s | |
| 14m 24s | |
| 2m 43s | |
| 10m 40s | |
| 14m 34s | |
| 11s | |
| 2h 17m 23s |