It’s a tiny continuous integration development server.