Passed
Push — min_php_7.2 ( 0b3dc8...25a4de )
by Armando
22:35 queued 12:37
created

No notable changes

There were no notable changes in the changeset which was inspected.

6.45
▶   ± 0
Head
Armando Lüscher  
Move to PHP 7.2+, fix up all strict variable and parameter types
Base
Armando Lüscher  
with sudo