-
Notifications
You must be signed in to change notification settings - Fork 35
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
docs: Run mdbook tests on Hydroflow+ docs #1012
Labels
documentation
Improvements or additions to documentation
hydroflow+
global choreographic language
P2
Medium priority
testing
Milestone
Comments
Yeah I set up some stuff for this for the hydroflow quickstart examples hydroflow/docs/docs/hydroflow/quickstart/example_5_reachability.mdx Lines 55 to 67 in 4bdd556
|
MingweiSamuel
added a commit
to MingweiSamuel/hydroflow
that referenced
this issue
Jun 24, 2024
…template for first two examples hydro-project#1012
(half completed in #1318) |
MingweiSamuel
changed the title
Run mdbook tests on Hydroflow+ docs
docs: Run mdbook tests on Hydroflow+ docs
Nov 21, 2024
Infra set up in #1592, we inline documentation as doctests to ensure they compile. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Labels
documentation
Improvements or additions to documentation
hydroflow+
global choreographic language
P2
Medium priority
testing
Not sure how feasible this actually is given that Stageleft is involved, but we need some solution to ensure that the docs aren't out of date. Maybe we should pull the snippets directly from Rust files or something.
The text was updated successfully, but these errors were encountered: