Skip to content

remove cargo-overlay#448

Merged
ludfjig merged 1 commit into
mainfrom
remove_overlay
Apr 8, 2026
Merged

remove cargo-overlay#448
ludfjig merged 1 commit into
mainfrom
remove_overlay

Conversation

@ludfjig
Copy link
Copy Markdown
Contributor

@ludfjig ludfjig commented Apr 8, 2026

Didn't work as can be seen in most recently https://github.com/hyperlight-dev/hyperlight-wasm/actions/runs/24151621001

Also makes the job able to rerun if it failed in the middle of publishing some crates, in which case it will not try to republish same version again

Copy link
Copy Markdown

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR updates the release workflow to stop using cargo-overlay-registry for crates.io publishing, replacing it with a conditional “publish if version isn’t already on crates.io” approach to avoid failures seen in recent release runs.

Changes:

  • Removed installation and usage of cargo-overlay-registry from the release publish workflow.
  • Added a bash helper (publish_if_needed) that checks crates.io for an existing version before running cargo publish per crate.
  • Publishes the workspace crates in an explicit sequence (macro → runtime → aot → main crate).

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Comment thread .github/workflows/CreateRelease.yml
Signed-off-by: Ludvig Liljenberg <4257730+ludfjig@users.noreply.github.com>
Copy link
Copy Markdown

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Copilot reviewed 1 out of 1 changed files in this pull request and generated 2 comments.


💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Comment thread .github/workflows/CreateRelease.yml
Comment thread .github/workflows/CreateRelease.yml
@ludfjig ludfjig marked this pull request as ready for review April 8, 2026 20:55
@ludfjig ludfjig merged commit 1868786 into main Apr 8, 2026
29 checks passed
@ludfjig ludfjig deleted the remove_overlay branch April 8, 2026 21:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants