a minimal CI server