Merge pull request #493 from tweag/release-0.11.1 #12
Job | Run time |
---|---|
13m 6s | |
5m 45s | |
4m 45s | |
6m 22s | |
17m 26s | |
5m 48s | |
13m 10s | |
9m 54s | |
12m 17s | |
21m 40s | |
16s | |
0s | |
1h 50m 29s |
Job | Run time |
---|---|
13m 6s | |
5m 45s | |
4m 45s | |
6m 22s | |
17m 26s | |
5m 48s | |
13m 10s | |
9m 54s | |
12m 17s | |
21m 40s | |
16s | |
0s | |
1h 50m 29s |