Switch CI from Nix to Docker-based