Join GitHub today
[stable13] Use a phan version instead of master #8195
Phan 0.11.1 requires PHP 7.2, but its image version was not bumped (
second commit from original pull request was not included in this one edit: well, second commit would not be valid on its own either; it would require the bump from the third one anyway to use the latest PHP 7.2 image).
@@ Coverage Diff @@ ## stable13 #8195 +/- ## =========================================== Coverage 51.23% 51.23% Complexity 24985 24985 =========================================== Files 1607 1607 Lines 95062 95062 Branches 1376 1376 =========================================== Hits 48701 48701 Misses 46361 46361
I just wanted to keep the versions the same. Let me try with 7.2-11 and if this does not work we will use 0.10.x of phan.