If you too are wondering their CI story, it is based on NixOS:

https://blog.tangled.org/ci/

https://blog.tangled.org/spindle-microvm/

Curiously the link to the spec is broken: https://tangled.sh/@tangled.sh/core/blob/master/docs/spindle...