Comment by jiggunjer

Aka workflow orchestrator, pipeline manager, process runner, automation tool.

It's not clear if they used a product or DIY solution. The nice thing many existing products offer is a web UI and a database.