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.

Sign up for GitHub

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

Jump to bottom

Documentation: Remaining tasks #970

Closed

6 tasks done

adpaco-aws opened this issue Mar 21, 2022 · 1 comment

Assignees

Contributor

adpaco-aws commented Mar 21, 2022 •

edited

Loading

Will keep adding stuff that cannot be done now (during #700 ) but has to be done.

Update project status (in introduction)
~~Update project status (in README.md)~~ (project status doesn't appear in README.md)
Review installation guide
Make edits to "Usage - On a package" once Run all proof harnesses by default #962 is complete.
Review wording in "Limitations"
Consider if other topics should appear in "Rust feature support"

The text was updated successfully, but these errors were encountered:

adpaco-aws added Area: documentation labels

adpaco-aws self-assigned this

adpaco-aws added the Effort: Small label

zhassan-aws added MLP - Should Have and removed MLP - Must Have labels

Contributor Author

adpaco-aws commented May 4, 2022

After #1160 all tasks have been completed.

adpaco-aws closed this as completed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment