You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
There are several cases where a build just aborts with git: command not found. This is fairly unhelpful because:
it does not explain what causes git to be called (ex: dune subst or dune-build-info with no version in dune-project)
it does not suggest a solution (like adding a version to dune-project; though that's not often the right fix)
This happens in certain CI systems, or on nix.
The text was updated successfully, but these errors were encountered:
There are several cases where a build just aborts with
git: command not found
. This is fairly unhelpful because:git
to be called (ex:dune subst
ordune-build-info
with no version indune-project
)This happens in certain CI systems, or on nix.
The text was updated successfully, but these errors were encountered: