Merge pull request #518 from coq-community/dependabot/npm_and_yarn/cl… #540
Job | Run time |
---|---|
45m 38s | |
1m 36s | |
1m 17s | |
3m 39s | |
12m 2s | |
9m 51s | |
13m 33s | |
14m 7s | |
11m 22s | |
1h 53m 5s |
Job | Run time |
---|---|
45m 38s | |
1m 36s | |
1m 17s | |
3m 39s | |
12m 2s | |
9m 51s | |
13m 33s | |
14m 7s | |
11m 22s | |
1h 53m 5s |