Searched full:runner (Results 1 – 2 of 2) sorted by relevance
423 run: git config --global --add safe.directory /home/runner/work/optee_os/optee_os425 run: bash /home/runner/work/optee_os/optee_os/scripts/ci-host-cleanup.sh442 path: /home/runner/work/ccache451 -v /home/runner/work/optee_os/optee_os:/runner/optee_os \452 -v /home/runner/work/ccache:/root/.cache/ccache \465 ln -s /runner/optee_os $TOP/optee_os567 run: git config --global --add safe.directory /home/runner/work/optee_os/optee_os569 run: bash /home/runner/work/optee_os/optee_os/scripts/ci-host-cleanup.sh586 path: /home/runner/wor[all...]
4 # This helper script is used in CI to free disk space on the runner