PinCI: PinCI is not CI PinCi is a minimal file monitor that executes a command whenever any of the files it’s monitoring changes.