Open tmcgilchrist opened 2 years ago
Possible fix https://github.com/ocurrent/ocurrent/pull/345
The same problem still appears in https://ci.ocamllabs.io/github/ocurrent/ocaml-ci/commit/1302ba56c943fbac8047ac8169a84721473f6d35/variant/debian-11-4.12+domains.
When building ocurrent the cached git project has an old gitsubmodule that should be removed when checking out a new commit. From the logs it looks like the
git reset --hard c3671270
isn't removing the directory.From https://ci.ocamllabs.io/github/ocurrent/ocurrent/commit/c3671270bd177ed32cbc60fa7b15589d07cdcc8a/variant/ubuntu-21.10-4.14