Looks like they are using OpenFAAS. Which is pretty cool. I played with it some last year, except I used Docker Swarm in Kubernetes.