Merge pull request #781 from emacs-php/rename/php-this-face #461
Job | Run time |
---|---|
38s | |
41s | |
41s | |
51s | |
1m 38s | |
1m 50s | |
1m 58s | |
1m 0s | |
56s | |
51s | |
42s | |
1m 38s | |
40s | |
14m 4s |
Job | Run time |
---|---|
38s | |
41s | |
41s | |
51s | |
1m 38s | |
1m 50s | |
1m 58s | |
1m 0s | |
56s | |
51s | |
42s | |
1m 38s | |
40s | |
14m 4s |