ci: allow CI to be run manually (#364)