Eric Huss c0d479f021 Change crates.io publish to be re-runnable ...

This changes the crates.io publish so that it is re-runnable in case
there is a problem with the publish. This means it cannot use
`--workspace`, and needs to check if something is already published.

This isn't ideal, but there aren't many other choices here.

2026-07-06 09:28:52 -07:00

..

install-rust.sh

Test more targets.

2024-05-16 17:27:28 -07:00

make-release-asset.sh

Test more targets.

2024-05-16 17:27:28 -07:00

publish-crates-io.sh

Change crates.io publish to be re-runnable

2026-07-06 09:28:52 -07:00

publish-guide.sh

Support publishing a pre-release version of the guide

2025-09-04 17:08:49 -07:00

update-dependencies.sh

Add job to automatically update dependencies

2025-09-24 16:05:14 -07:00