Runs on legosi. Deploy the binary with deploy legosi; a git push only re-ingests the tree, it does not update the running server.