Skip to content

Introduce documentation for building a larger cargo project - #554

Merged
tedinski merged 4 commits into
model-checking:mainfrom
tedinski:docs-cargo
Oct 18, 2021
Merged

Introduce documentation for building a larger cargo project#554
tedinski merged 4 commits into
model-checking:mainfrom
tedinski:docs-cargo

Conversation

@tedinski

@tedinskitedinski commented Oct 14, 2021

Copy link
Copy Markdown
Contributor

Description of changes:

Documents the current process, in a manner that will hopefully be what we'd like cargo-rmc to do for us later.

Testing:

  • How is this change tested? manually

  • Is this a refactor change?

Checklist

  • Each commit message has a non-empty body, explaining why the change was made
  • [n/a] Methods or procedures are documented
  • [n/a] Regression or unit tests are included, or existing tests cover the modified code
  • My PR is restricted to a single feature or bugfix

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

zhassan-aws
zhassan-aws reviewed Oct 14, 2021
View reviewed changes
Comment threadrmc-docs/src/cargo-rmc.md Outdated
Comment threadrmc-docs/src/cargo-rmc.md Outdated
Comment threadrmc-docs/src/cargo-rmc.md
zhassan-aws
zhassan-aws reviewed Oct 15, 2021
View reviewed changes
Comment threadrmc-docs/src/SUMMARY.md Outdated
@tedinski
tedinski requested a review from jaisnanOctober 15, 2021 22:34
@tedinski
tedinski merged commit a728d8d into model-checking:mainOct 18, 2021
@tedinski
tedinski deleted the docs-cargo branch October 18, 2021 13:53
@tedinskitedinski mentioned this pull request Oct 19, 2021
Closed
12 tasks
tedinski added a commit to tedinski/rmc that referenced this pull request Apr 26, 2022
@tedinski
Introduce documentation for building a larger cargo project (model-ch…
815e311
…ecking#554)
* Introduce documentation for building a larger cargo project
* copyright on script
* Edits in response to feedback
tedinski added a commit that referenced this pull request Apr 27, 2022
@tedinski
Introduce documentation for building a larger cargo project (#554)
5e3df46
* Introduce documentation for building a larger cargo project
* copyright on script
* Edits in response to feedback
@github-actionsgithub-actionsBot mentioned this pull request Sep 29, 2024
Merged
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@jaisnanjaisnanAwaiting requested review from jaisnan
1 more reviewer
@zhassan-awszhassan-awszhassan-aws approved these changes
Reviewers whose approvals may not affect merge requirements

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@tedinski@zhassan-aws