a32c07cbb7
Should work even if the github workspace dir is on a stale sshfs mount. |
||
---|---|---|
.. | ||
workflows | ||
ci-status.md | ||
configs | ||
configure.sh | ||
run_test.sh | ||
setup_ci.sh |
a32c07cbb7
Should work even if the github workspace dir is on a stale sshfs mount. |
||
---|---|---|
.. | ||
workflows | ||
ci-status.md | ||
configs | ||
configure.sh | ||
run_test.sh | ||
setup_ci.sh |