mirror of
https://github.com/bherbruck/solidcraft.git
synced 2026-11-08 21:11:56 +00:00
bherbruck
8c7070b220
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01QaDuBSC1mqS9DnQoEsr7LJ
29 lines
1.5 KiB
Bash
Executable File
29 lines
1.5 KiB
Bash
Executable File
#!/usr/bin/env bash
|
|
# Prints the CI `changes` job outputs (code=, full=) for .github/workflows/ci.yml.
|
|
# code=false only for a pull_request or merge_group whose diff against its base touches
|
|
# nothing outside DOCS_ONLY (prose read by no build, test or difftest). Anything else, and
|
|
# any doubt (no base, fetch failure), is code=true. full=true when code=true and the event
|
|
# is not a push to main (pushes run only the jobs that publish main's artifacts).
|
|
# Usage: changes.sh <event> [base sha]
|
|
set -euo pipefail
|
|
event=${1:?event}; base=${2:-}
|
|
# Paths no cargo build/test, difftest run or packaging reads. Not plan/units/ (difftest reads
|
|
# unit statuses), not crates/** READMEs (cargo package reads them), not scripts/ or harness/.
|
|
DOCS_ONLY='^(plan/findings/.*|plan/upstream-issues/.*|plan/[^/]*\.md|site/.*|docs/.*|assets/.*|[^/]*\.md)$'
|
|
code=true
|
|
if [ "$event" = pull_request ] || [ "$event" = merge_group ]; then
|
|
if [ -n "$base" ] && { git cat-file -e "$base^{commit}" 2>/dev/null || git fetch -q --depth=1 origin "$base"; }; then
|
|
# --no-renames: a rename lists both its old and new path, so moving code into a docs path
|
|
# still counts as a code change. Quoted (unusual) paths never match, which fails closed.
|
|
files=$(git diff --no-renames --name-only "$base" HEAD)
|
|
if [ -n "$files" ] && ! grep -qvE "$DOCS_ONLY" <<<"$files"; then
|
|
code=false
|
|
fi
|
|
echo "changed files: $(wc -l <<<"$files"), code=$code" >&2
|
|
fi
|
|
fi
|
|
full=$code
|
|
[ "$event" = push ] && full=false
|
|
echo "code=$code"
|
|
echo "full=$full"
|