pkg: improve dune pkg lock message #21986
Job | Run time |
---|---|
16m 15s | |
39m 0s | |
17m 7s | |
13m 29s | |
21m 25s | |
15m 20s | |
16m 8s | |
38s | |
1m 27s | |
3m 32s | |
4m 32s | |
6m 11s | |
11m 53s | |
4m 10s | |
5m 34s | |
1m 24s | |
5m 41s | |
9m 39s | |
10m 11s | |
3h 23m 36s |
Job | Run time |
---|---|
16m 15s | |
39m 0s | |
17m 7s | |
13m 29s | |
21m 25s | |
15m 20s | |
16m 8s | |
38s | |
1m 27s | |
3m 32s | |
4m 32s | |
6m 11s | |
11m 53s | |
4m 10s | |
5m 34s | |
1m 24s | |
5m 41s | |
9m 39s | |
10m 11s | |
3h 23m 36s |