Merge pull request #11 from bu5hm4nn/feature/change-textedit-margin-p… #22
Job | Run time |
---|---|
4m 18s | |
1m 33s | |
59s | |
41s | |
5m 13s | |
39s | |
40s | |
40s | |
39s | |
39s | |
56s | |
41s | |
45s | |
39s | |
39s | |
38s | |
20m 19s |
Job | Run time |
---|---|
4m 18s | |
1m 33s | |
59s | |
41s | |
5m 13s | |
39s | |
40s | |
40s | |
39s | |
39s | |
56s | |
41s | |
45s | |
39s | |
39s | |
38s | |
20m 19s |