Interesting never heard of Pulumi, thanks
You might be interested in https://www.jetbrains.com/teamcity/
It has a Kotlin strongly typed DSL for pipelines, i absolutely despite Jenkins and Groovy, so many bugs causing huge issues due to weak typing and lack of testing :(