remove publish script (#21064)

# Objective

- the publish script didn't actually work, it was just a vague
instruction on how to get something working
- it needed manual adaptation for each version to have the correct crate
order
- it was not fun to do

## Solution

- `cargo +nightly publish --workspace` now works, use that instead
This commit is contained in:
François Mockers
2025-09-15 22:52:42 +02:00
committed by GitHub
parent 550b9cd8e7
commit 78db74d1a7
-19
View File
@@ -1,19 +0,0 @@
if [ -n "$(git status --porcelain)" ]; then
echo "You have local changes!"
exit 1
fi
pushd crates
for crate in `cargo package --workspace 2>&1 | grep Packaging | sed 's_.*crates/\(.*\))_\1_' | grep -v Packaging`
do
echo "Publishing ${crate}"
pushd "$crate"
cargo publish
popd
done
popd
echo "Publishing root crate"
cargo publish