Passed
Push — master ( aee622...47c08e )
by Jan
04:35
created

No notable changes

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

9.43
▶   ± 0
Head
Jan Böhmer  
[Travis] Generate code coverage only for PHP 7.2.
Base
Jan Böhmer  
Removed failing GitHub Action