See https://circleci.com/gh/alanz/ide/9 This is part of https://circleci.com/workflow-run/9631ba2c-6905-49ca-b1cd-59ca6e0bdc68 And it is prior to making ghcide a dependency, rather than a submodule. Perhaps we should revisit that, for now?