fix(ci): Remove the release crates workflow

[upbqdn]

Motivation

Fix https://github.com/ZcashFoundation/zebra/actions/runs/12751834865/job/35539829251?pr=9114.

This PR is an exact copy of #9119, which targetted #9114. This PR targets main for better commit history.

Solution

• Remove the workflow and its associated bash script.

Rationale

It didn't catch publishing issues in the past, and it skips a bunch of things anyway.

..., it wasn't doing much with --no-verify anyway.

It was working fine with the previous version of Rust. I think the latest stable version broke --no-verify, because it wasn't pulling dependencies from crates.io before (which is how we ended up with git sources on main when we were trying to publish Zebra), but now it does even if --no-verify is passed in explicitly.

PR Author's Checklist

• The PR name will make sense to users.
• The PR provides a CHANGELOG summary.
• The solution is tested.
• The documentation is up to date.
• The PR has a priority label.

PR Reviewer's Checklist

• The PR Author's checklist is complete.
• The PR resolves the issue.

[upbqdn]

More context: #9114 (comment).

[gustavovalverde]

@mergify refresh

[mergify]

refresh

✅ Pull request refreshed

[gustavovalverde]

@mergify dequeue

[mergify]

This pull request has been removed from the queue for the following reason: pull request dequeued.

Pull request #9120 has been dequeued by a dequeue command

You should look at the reason for the failure and decide if the pull request needs to be fixed or if you want to requeue it.

If you want to requeue this pull request, you need to post a comment with the text: @mergifyio requeue

[mergify]

dequeue

✅ The pull request has been removed from the queue batched

[gustavovalverde]

@mergify requeue

[mergify]

requeue

✅ The queue state of this pull request has been cleaned. It can be re-embarked automatically

[gustavovalverde]

@mergify dequeue

[mergify]

This pull request has been removed from the queue for the following reason: pull request dequeued.

Pull request #9120 has been dequeued by a dequeue command

You should look at the reason for the failure and decide if the pull request needs to be fixed or if you want to requeue it.

If you want to requeue this pull request, you need to post a comment with the text: @mergifyio requeue

[mergify]

dequeue

✅ The pull request has been removed from the queue batched

[gustavovalverde]

Something odd happened with this PR as it's not triggering some tests (maybe deleting a workflow has a different behavior), I'll admin merge it in the meanwhile and track this to see if it happens in another PR.

[upbqdn]

The issue might be that this PR is an exact copy of #9119, which merged into #9114, which already merged into main. I forgot to explicitly prevent #9114 from merging.