111 resolved="${GITHUB_WORKSPACE}/${CLI_PATH}"
112 if [ ! -d "${resolved}" ]; then
113▶ echo "::error::cli-path '${CLI_PATH}' does not exist at ${resolved}"
114 exit 1
115 fi
· · ·
136 run: |
137 echo "${PROVIDERS_JSON}" | jq -e 'type == "array" and length > 0' > /dev/null || {
138▶ echo "::error::providers input must be a non-empty JSON array"
139 exit 1
140 }
· · ·
141 echo "${PROVIDERS_JSON}" | jq -e 'all(has("provider") and has("data_dir"))' > /dev/null || {
142▶ echo "::error::every entry in providers must have 'provider' and 'data_dir' keys"
143 exit 1
144 }
· · ·
159 --provider "${provider}" \
160 --data-dir "${GITHUB_WORKSPACE}/${data_dir}"; then
161▶ echo "::error::Failed to refresh provider: ${provider}"
162 failed="${failed} ${provider}"
163 fi
· · ·
164 done
165 if [ -n "${failed}" ]; then
166▶ echo "::error::The following providers failed:${failed}"
167 exit 1
168 fi