Searched full:runner (Results 1 – 2 of 2) sorted by relevance
424 run: git config --global --add safe.directory /home/runner/work/optee_os/optee_os426 run: bash /home/runner/work/optee_os/optee_os/scripts/ci-host-cleanup.sh443 path: /home/runner/work/ccache452 -v /home/runner/work/optee_os/optee_os:/runner/optee_os \453 -v /home/runner/work/ccache:/root/.cache/ccache \466 ln -s /runner/optee_os $TOP/optee_os568 run: git config --global --add safe.directory /home/runner/work/optee_os/optee_os570 run: bash /home/runner/work/optee_os/optee_os/scripts/ci-host-cleanup.sh587 path: /home/runner/work/ccache596 -v /home/runner/work/optee_os/optee_os:/runner/optee_os \[all …]
4 # This helper script is used in CI to free disk space on the runner