Completed
Pull Request — master (#6)
by Christian
06:24 queued 05:01
created

No notable changes

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

10
▶   ± 0
Head
Christian Flothmann  
Merge d11cebc732be07fe1ba2ef018e9e58e68cff17b0 into 6dab5c70d403a0a19af62830fcc778a5e739b113
1 more commit
Base
Christian Flothmann  
add jobs for PHP 7.3 and 7.4