Searched full:github_workspace (Results 1 – 1 of 1) sorted by relevance
22 # FIXME: The owner UID of the GITHUB_WORKSPACE directory may not26 git config --global --add safe.directory ${GITHUB_WORKSPACE}