diff --git a/scripts/ci-run.sh b/scripts/ci-run.sh index 2451d87..4f68bb2 100755 --- a/scripts/ci-run.sh +++ b/scripts/ci-run.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh # ci-run.sh — CoreCI pipeline runner for orca. # Called by .coreci.yml jobs via: sh scripts/ci-run.sh # @@ -10,8 +10,11 @@ # CI_COMMIT_BRANCH — tag name on tag pushes (from GITHUB_REF_NAME) # CI_COMMIT_SHA — commit SHA # GITEA_TOKEN — Gitea API token (from Gitea Actions secret PAT_TOKEN) +# +# NOTE: uses #!/bin/sh — do NOT use bash-only features (pipefail, [[ ]], etc.) +# The Gitea Actions runner uses dash as /bin/sh. -set -uo pipefail +set -u JOB="${1:-}" if [ -z "$JOB" ]; then