The dotfiles modules fails on my side:

I added the module like this:

module "dotfiles" {
  source = "https://registry.coder.com/modules/dotfiles"
  agent_id = coder_agent.workspace.id
}

and specified this repository. Is there anything else I need to set up?