[dolmen]

CI is an important feature of a project to give automated feedback to contributors.

However I would not trust external contributors' code on my server.