Merge pull request #250 from NiklasEi/rename-finally-init-resource #863
Job | Run time |
---|---|
26m 37s | |
30m 2s | |
3m 26s | |
14m 29s | |
14m 11s | |
23m 5s | |
9m 59s | |
8m 9s | |
11m 13s | |
7m 1s | |
21m 29s | |
11m 11s | |
7m 50s | |
3h 8m 42s |
Job | Run time |
---|---|
26m 37s | |
30m 2s | |
3m 26s | |
14m 29s | |
14m 11s | |
23m 5s | |
9m 59s | |
8m 9s | |
11m 13s | |
7m 1s | |
21m 29s | |
11m 11s | |
7m 50s | |
3h 8m 42s |