Skip to content

Get ready for the first release!#84

Merged
guangyuz merged 3 commits intomainfrom
release
Mar 6, 2026
Merged

Get ready for the first release!#84
guangyuz merged 3 commits intomainfrom
release

Conversation

@guangyuz
Copy link
Copy Markdown
Collaborator

@guangyuz guangyuz commented Mar 6, 2026

No description provided.

@guangyuz guangyuz changed the title Release v1.0 Get ready for the first release! Mar 6, 2026
@guangyuz guangyuz requested review from Copilot and nanne007 March 6, 2026 07:57
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 prepares the repo for its first stable release by bumping package versions to 1.0.0, aligning Rust crate metadata with workspace settings, and making CI easier to run manually while restoring the API Move package tests.

Changes:

  • Bump workspace + Move package versions to 1.0.0.
  • Use workspace-inherited version/authors/edition for Rust crates where applicable.
  • Update CI to support manual runs with an optional “force Aptos CLI reinstall” input and re-enable packages/api Move tests.

Reviewed changes

Copilot reviewed 5 out of 5 changed files in this pull request and generated no comments.

Show a summary per file
File Description
packages/api/Move.toml Version bump to 1.0.0 for the Move API package.
crates/vk-gen-examples/Cargo.toml Switches crate metadata to workspace values and removes commented patch scaffolding.
crates/halo2-verifier/Cargo.toml Inherit authors from workspace for consistency across crates.
Cargo.toml Workspace version bump to 1.0.0 (propagates to version.workspace = true crates).
.github/workflows/ci.yml Adds workflow_dispatch input to optionally bypass cache and re-enables Move tests for packages/api.

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

@guangyuz guangyuz merged commit f422224 into main Mar 6, 2026
5 checks passed
@guangyuz guangyuz deleted the release branch March 6, 2026 09:47
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.

3 participants