On each of our machines, we deploy a virtual machine that participates in a Docker Swarm.
However, only one VM is a manager (`maestro`) while two are workers (`bancomart` and `vpay`).
This lack of redundancy in the cluster is deliberate: in case all nodes are down (e.g. misconfiguration or power outage) manual action would need to be taken in order to restore the cluster.
In case of only one manager node, the cluster is always able to restore itself automatically.
While the operating system of the VMs is managed by NixOS, cluster creation and the deployment of workloads is done through Ansible.