Passed
Push — master ( 8d0941...5ce1c3 )
by Tim
32:18 queued 29:39
created

No notable changes

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

10
▶   ± 0
Head
Tim  
Merge pull request #19 from georgringer/patch-1
2 more commits
Base
Tim  
PHP Stan fixes