[CI] Report precise commit ids of any cloned repos
This would make stuff like that !23 (comment 5606) easier to debug
See also:
This would make stuff like that !23 (comment 5606) easier to debug
See also:
When these merge requests are accepted, this issue will be closed automatically.
marked this issue as related to pacxx-samples#3 (closed)
changed the description
mentioned in merge request !31 (merged)
mentioned in commit 7a115af3
closed via merge request !31 (merged)