Searched full:github_workspace (Results 1 – 3 of 3) sorted by relevance
145 run: fusermount -u ${GITHUB_WORKSPACE} || true152 vmrun sudo chown -R $LOGNAME ~/$(basename ${GITHUB_WORKSPACE}) || true153 vmrun "cd $(basename ${GITHUB_WORKSPACE}/regress) && sudo make clean"155 vmrun "sudo mkdir -p $(dirname ${GITHUB_WORKSPACE})"156 vmrun "sudo ln -s ~/$(basename ${GITHUB_WORKSPACE}) ${GITHUB_WORKSPACE}"177 …echo "exec /usr/bin/ssh ${TARGET_DOMAIN} exec /home/builder/$(basename ${GITHUB_WORKSPACE})/sshd "…194 run: fusermount -z -u ${GITHUB_WORKSPACE}/regress || true199 run: fusermount -z -u ${GITHUB_WORKSPACE} || true
33 run: fusermount -u ${GITHUB_WORKSPACE} || true72 fusermount -u ${GITHUB_WORKSPACE} || true73 fusermount -z -u ${GITHUB_WORKSPACE} || true
54 echo "GITHUB_WORKSPACE = $GITHUB_WORKSPACE"