Passed
Pull Request — master (#5)
by
unknown
02:51 queued 01:09
created

No notable changes

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

9.24
▶   ± 0
Head
github-actions[bot]  
Merge fb53c969288bcad6670f3dab1c7ebd6f593b1e0e into ab9621a8fb1013390a63f541aa535baaaab10a16
1 more commit
Base
Mark Prins  
Some refactoring, reformatting and integration tests (#4)