Completed
Pull Request — master (#5)
by Christian
02:26 queued 01:02
created

No notable changes

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

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