Skip to content
GitLab
Explore
Sign in
Ansgar Burchardt
dune-docker
Repository
dune-docker
base-common
duneci-install-module
Find file
Blame
History
Permalink
duneci-install-module: HEAD might not be a symbolic ref
· 6583a7b8
Ansgar Burchardt
authored
Jul 18, 2017
This might happen, for example, when a tag is requested via `DUNECI_BRANCH`.
6583a7b8