Merge pull request #5020 from unisonweb/24-05-28-lca-merge-preconditions #8226
Job | Run time |
---|---|
10s | |
4m 42s | |
11m 15s | |
9m 29s | |
10s | |
1m 11s | |
4m 22s | |
2m 1s | |
6m 38s | |
7m 23s | |
8s | |
17s | |
25s | |
8s | |
13s | |
48m 32s |
Job | Run time |
---|---|
10s | |
4m 42s | |
11m 15s | |
9m 29s | |
10s | |
1m 11s | |
4m 22s | |
2m 1s | |
6m 38s | |
7m 23s | |
8s | |
17s | |
25s | |
8s | |
13s | |
48m 32s |