Searched full:github_workspace (Results 1 – 9 of 9) sorted by relevance
18 # FIXME: The owner UID of the GITHUB_WORKSPACE directory may not22 git config --global --add safe.directory ${GITHUB_WORKSPACE}
32 # FIXME: The owner UID of the GITHUB_WORKSPACE directory may not36 git config --global --add safe.directory ${GITHUB_WORKSPACE}
41 # FIXME: The owner UID of the GITHUB_WORKSPACE directory may not45 git config --global --add safe.directory ${GITHUB_WORKSPACE}
40 # FIXME: The owner UID of the GITHUB_WORKSPACE directory may not44 git config --global --add safe.directory ${GITHUB_WORKSPACE}
33 # FIXME: The owner UID of the GITHUB_WORKSPACE directory may not37 git config --global --add safe.directory ${GITHUB_WORKSPACE}
51 # FIXME: The owner UID of the GITHUB_WORKSPACE directory may not55 git config --global --add safe.directory ${GITHUB_WORKSPACE}
62 # FIXME: The owner UID of the GITHUB_WORKSPACE directory may not66 git config --global --add safe.directory ${GITHUB_WORKSPACE}
201 git config --global --add safe.directory ${GITHUB_WORKSPACE}