OpenAI formally announced on June 11 that it has agreed to acquire Ona, a cloud execution and orchestration startup.