Skip to content

chore: remove the sed and patch programs - #777

Merged
lexoliu merged 1 commit into
mainfrom
chore/736-remove-tool-programs
Nov 12, 2026
Merged

lexoliu merged 1 commit into
mainfrom
chore/736-remove-tool-programs

Conversation

@lexoliu

@lexoliu lexoliu commented Nov 12, 2026

Copy link
Copy Markdown
Collaborator

May now builds apply_patch, sed and bash and pins its third-party tools itself, so aither no longer ships a tool distribution. This removes the aither-sed and aither-patch crates with the rest of patch/ (bash build, third-party pins, manifest scripts), the patch-artifacts workflow, the install-heel action only it used, the artifact profile, and the release jobs that published patch-v<version> assets. The heel pin the sandbox tests download moves to sandbox/test-heel.json, and the heel update workflow rewrites it there.

The workspace checks, aither-sandbox clippy is clean, and the heel-pinned shell test passes against the moved pin.

Closes #736

May builds apply_patch, sed and bash and pins its third-party tools itself, so
aither no longer ships a tool distribution. The aither-sed and aither-patch
crates leave the workspace with patch/'s bash build, third-party pins and
manifest scripts, the patch-artifacts workflow and the release jobs that
published patch-v<version> assets. The heel pin the sandbox tests download
moves to sandbox/test-heel.json, which the heel update workflow now rewrites.

Closes #736
@lexoliu
lexoliu added this pull request to the merge queue Nov 12, 2026
Merged via the queue into main with commit 4b0479f Nov 12, 2026
15 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Remove the sed and patch programs

1 participant