Merge pull request #973 from ergebnis/feature/phpdoc-type-list-fixer #2507
Job | Run time |
---|---|
40s | |
27s | |
21s | |
24s | |
16s | |
23s | |
13s | |
18s | |
20s | |
20s | |
17s | |
20s | |
15s | |
15s | |
16s | |
28s | |
15s | |
22s | |
14s | |
18s | |
20s | |
7m 2s |
Job | Run time |
---|---|
40s | |
27s | |
21s | |
24s | |
16s | |
23s | |
13s | |
18s | |
20s | |
20s | |
17s | |
20s | |
15s | |
15s | |
16s | |
28s | |
15s | |
22s | |
14s | |
18s | |
20s | |
7m 2s |