Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Make supernova-benches an independent workspace #44

Merged
merged 3 commits into from
Jan 21, 2024

Conversation

danielmarinq
Copy link
Contributor

One can't run supernova-benches, as it now thinks it is part of the zkVM workspace after the recent supernova -> nexus-zkvm migration.

This fixes this.

@danielmarinq danielmarinq self-assigned this Jan 20, 2024
@danielmarinq danielmarinq added the bug Something isn't working label Jan 20, 2024
@danielmarinq danielmarinq marked this pull request as ready for review January 20, 2024 09:39
@slumber
Copy link
Contributor

slumber commented Jan 20, 2024

For a cleaner solution: move supernova-benches into the root of the repo and add

exclude = ["supernova-benches"]

to Cargo.toml. (because of rust-lang/cargo#6745)

Benefits are:

  1. it's more explicit, no nested workspaces
  2. benches at the root are hard to be forgotten about

Later, we could change it to

exclude = ["benches/*"]

@danielmarinq
Copy link
Contributor Author

Awesome, thanks for the great explanation @slumber. I've followed through with the proposed fix.

@@ -0,0 +1,1611 @@
# This file is automatically @generated by Cargo.
Copy link
Contributor

Choose a reason for hiding this comment

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

Opposite to the workspace, I believe this one is OK (or rather should) to be excluded.

I wouldn't expect people to always update it along with the main lock file, as it's not going to be done automatically for an excluded crate.

So it's better to add .gitignore to the crate with Cargo.lock

@slumber slumber merged commit cee9975 into main Jan 21, 2024
4 checks passed
@slumber slumber deleted the daniel-supernova-benches-workspace branch January 21, 2024 11:25
guruvamsi-policharla pushed a commit that referenced this pull request Jan 23, 2024
* make supernova-benches an independent workspace

* place supernova-benches at root, and exclude from workspace

* rm Cargo.lock from git
guruvamsi-policharla pushed a commit that referenced this pull request Feb 1, 2024
* make supernova-benches an independent workspace

* place supernova-benches at root, and exclude from workspace

* rm Cargo.lock from git
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants