Rovo Dev is being used in Jira as a spec driven executor. This integration is reported to be in place, with details of its implementation and purpose not specified. The nature and scope of this setup are not further elaborated.