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

Add docs.rs metadata to display features document prove APIs #1564

Merged
merged 21 commits into from
May 28, 2024

Conversation

nategraf
Copy link
Contributor

@nategraf nategraf commented Mar 15, 2024

This PR added Cargo metadata and crate-level attributes to get docs building with additional information on docs.rs. In particular, this will get feature-gates APIs (e.g. the Prover trait) to show up on docs.rs.

It also introduces a new CI job that builds the docs using the docs.rs --cfg flag, and on a runner without installing cargo risczero or other custom tool. This job is intended to check that our docs will build on the docs.rs machines, and we don't get errors about broken docs build (e.g https://docs.rs/crate/cargo-risczero/0.21.0)

Copy link

vercel bot commented Mar 15, 2024

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name Status Preview Comments Updated (UTC)
website ✅ Ready (Inspect) Visit Preview 💬 Add feedback May 28, 2024 10:48pm
2 Ignored Deployments
Name Status Preview Comments Updated (UTC)
docs-website ⬜️ Ignored (Inspect) Visit Preview May 28, 2024 10:48pm
reports-and-benchmarks ⬜️ Ignored (Inspect) Visit Preview May 28, 2024 10:48pm

Copy link

This pull request is automatically being deployed by Amplify Hosting (learn more).

Access this pull request here: https://pr-1564.d1uc3c4lom8wx5.amplifyapp.com

@flaub
Copy link
Member

flaub commented Mar 18, 2024

Related: #919

@SchmErik SchmErik self-assigned this Apr 30, 2024
@nategraf
Copy link
Contributor Author

nategraf commented May 9, 2024

We've now merged docs.rs feature tags to the risc0-ethereum repo. It works for the subset of crates that we do publish to crates.io right now, with the blocker on the rest being a way to handle the fact that building the contracts crate requires Forge to be installed. risc0/risc0-ethereum#78

@SchmErik
Copy link
Contributor

Hey @nategraf I made a little more progress here: feel free to take any part of it. the doc_auto_cfg thing requires you to split out the #[cfg(feature = ...)] into a separate line so that's what's going on in this PR to expose the export-syscalls feature

@nategraf nategraf marked this pull request as ready for review May 23, 2024 22:40
@nategraf nategraf marked this pull request as draft May 23, 2024 22:40
@nategraf
Copy link
Contributor Author

Hey @nategraf I made a little more progress here: feel free to take any part of it. the doc_auto_cfg thing requires you to split out the #[cfg(feature = ...)] into a separate line so that's what's going on in this PR to expose the export-syscalls feature

I'm actually not sure what the issue is here that you are referring to. I'm guessing something is not showing up that should?

risc0/binfmt/src/image.rs Outdated Show resolved Hide resolved
@nategraf
Copy link
Contributor Author

@SchmErik and I discussed this and figured out where the confusion came from. This is ready for review / ready to merge when it looks good to you @flaub

@nategraf nategraf marked this pull request as ready for review May 24, 2024 17:53
@nategraf nategraf enabled auto-merge (squash) May 24, 2024 21:43
nategraf and others added 3 commits May 24, 2024 14:43
A number of smaller docs updates from a quick pass over the
documentation.

Largest change is to include the `risc-groth16` README in the crate
documentation, thus bringing it under test in CI, and to drop the
verbose example of STARK to SNARK proving, which can now be accomplished
through the main APIs.
@flaub
Copy link
Member

flaub commented May 28, 2024

Are we still running into any issues with this? I see continued changes

@nategraf
Copy link
Contributor Author

nategraf commented May 28, 2024

Are we still running into any issues with this? I see continued changes

#1880 got merged into this PR, and this PR started to fail because CI was running into two issues that stem from that PR. 1) I needed to run cargo rdme 2) I needed to update the test workflow since I removed the docker feature flag from risc0-groth16. (My intention was to wait until this PR landed to merge #1880, into main)

It should be good to go now.

@nategraf nategraf merged commit 7da2781 into main May 28, 2024
40 of 42 checks passed
@nategraf nategraf deleted the victor/docs-rs-metadata branch May 28, 2024 23:20
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.

None yet

3 participants