Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

@jonathanpwang
Copy link
Contributor

No description provided.

Copilot AI review requested due to automatic review settings September 1, 2025 06:56
Copy link
Contributor

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 enhances the CLI version command to display enabled special features in the version output. The version message now includes bracketed feature indicators like [cuda], [tco], or [cuda, tco] depending on which features are enabled at compile time.

Key changes:

  • Added conditional compilation blocks to display different version messages based on enabled features
  • Enhanced build script to detect and log enabled features during compilation

Reviewed Changes

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

File Description
crates/cli/src/lib.rs Implements conditional version messages that display enabled features in brackets
crates/cli/build.rs Adds feature detection and logging during build process

Tip: Customize your code reviews with copilot-instructions.md. Create the file or learn how to get started.

@github-actions

This comment has been minimized.

@github-actions
Copy link

github-actions bot commented Sep 1, 2025

group app.proof_time_ms app.cycles app.cells_used leaf.proof_time_ms leaf.cycles leaf.cells_used
verify_fibair (+3 [+1.1%]) 275 322,610 2,058,654 - - -
fibonacci (+13 [+1.3%]) 1,035 1,500,210 1,060,232 - - -
regex (-34 [-1.1%]) 2,949 4,108,483 13,403,604 - - -
ecrecover (+15 [+1.6%]) 944 140,497 2,274,638 - - -
pairing (+11 [+0.7%]) 1,542 1,882,939 23,722,622 - - -

Commit: e53702b

Benchmark Workflow

@jonathanpwang jonathanpwang merged commit 461495d into main Sep 1, 2025
12 checks passed
@jonathanpwang jonathanpwang deleted the chore/cli-feature branch September 1, 2025 07:29
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.

2 participants