The Gitea Actions runner uses dash as /bin/sh. ${GIT_COMMIT:0:12} is
bash-only substring substitution. dash gives 'Bad substitution' (exit 1).
Fix: use $(echo "$GIT_COMMIT" | cut -c1-12) instead.
The coreci pipeline (build+test) SUCCEEDED in the last run — the only
failure was this shell compatibility issue in the release step.
---ci---
project: orca
phase: 1
milestone: v0.16
status: execute
---/ci---
Jon Chery
5af2b1d660