[CI] Report precise commit ids of any cloned repos
This would make stuff like that
!23 (comment 5606)
easier to debug
See also:
https://gitlab.dune-project.org/joe/pacxx-docker/issues/11
Edited
Aug 30, 2018
by
Dr. Jorrit Fahlke
To upload designs, you'll need to enable LFS and have an admin enable hashed storage.
More information