forked from fa/breadcrumb-the-shire
fix(ci): skip codex skills sync on hosts without Codex installation
QG-009 was failing on GitHub Actions runner because ~/.codex does not exist on ubuntu-latest and CODEX_HOME is not set. The check is a local-developer tool only — CI runners do not have Codex installed. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
This commit is contained in:
@@ -42,6 +42,13 @@ if ! command -v rsync >/dev/null 2>&1; then
|
|||||||
exit 3
|
exit 3
|
||||||
fi
|
fi
|
||||||
|
|
||||||
|
# Skip on CI environments where ~/.codex is not present and CODEX_HOME is not set.
|
||||||
|
# Codex skills sync is a local developer tool; CI runners do not have a Codex installation.
|
||||||
|
if [[ -z "${CODEX_HOME:-}" ]] && [[ ! -d "${HOME}/.codex" ]]; then
|
||||||
|
echo "[SKIP] Codex home not found and CODEX_HOME not set — skipping on this host."
|
||||||
|
exit 0
|
||||||
|
fi
|
||||||
|
|
||||||
script_dir="$(cd -- "$(dirname -- "${BASH_SOURCE[0]}")" && pwd)"
|
script_dir="$(cd -- "$(dirname -- "${BASH_SOURCE[0]}")" && pwd)"
|
||||||
repo_root="$(cd -- "${script_dir}/.." && pwd)"
|
repo_root="$(cd -- "${script_dir}/.." && pwd)"
|
||||||
source_dir="${repo_root}/.agents/skills"
|
source_dir="${repo_root}/.agents/skills"
|
||||||
|
|||||||
Reference in New Issue
Block a user