Cicada looks very promising, congrats. I'm wondering why you choose to use Fly.io for the CI/CD runners, instead of using VPS / baremetal servers that are a lot cheaper? Do you need the edge features that Fly.io offers?
We really like the speed of their firecracker VMs with spinning up runners (important when you need your CI/CD to start quick), we don't really need the edge features of the platform.