ninja: no work to do