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

feat: cat breads example #311

Open
wants to merge 2 commits into
base: main
Choose a base branch
from
Open

Conversation

SimoneHaddad
Copy link

@SimoneHaddad SimoneHaddad commented Oct 23, 2024

Rationale for this change

Added Example - Cat breads - Add an additional breads example to help improve documentation.

What changes are included in this PR?

cat breads example is added.

Are these changes tested?

Yes.

@SimoneHaddad SimoneHaddad changed the title feat: cat breeds example feat: cat breads example Oct 23, 2024
@Dustin-Ray
Copy link
Contributor

Hi @SxTSimoneHaddad, thanks for the PR, would you mind Updating to Main with a rebase, then resolving the merge conflicts so we can merge this? Thank you.

Comment on lines +127 to +128
- name: Run cat breeds example
run: cargo run --example cat_breeds
Copy link
Contributor

Choose a reason for hiding this comment

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

This change is no longer needed and can safely be reverted

@@ -244,4 +246,4 @@ jobs:
- name: Install solhint
run: npm install -g solhint
- name: Run tests
run: solhint -c 'crates/proof-of-sql/.solhint.json' 'crates/proof-of-sql/**/*.sol' -w 0
run: solhint -c 'crates/proof-of-sql/.solhint.json' 'crates/proof-of-sql/**/*.sol' -w 0
Copy link
Contributor

Choose a reason for hiding this comment

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

NIT: please add a new line here

&prover_setup,
&verifier_setup,
);
}
Copy link
Contributor

Choose a reason for hiding this comment

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

NIT: please add a new line here, this is likely fixed by running

cargo fmt

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