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

docs(terminal): add docs for terminal module #486

Merged
merged 1 commit into from
Sep 12, 2023
Merged

docs(terminal): add docs for terminal module #486

merged 1 commit into from
Sep 12, 2023

Conversation

joshka
Copy link
Member

@joshka joshka commented Sep 10, 2023

  • moves the impl Terminal block up to be closer to the type definition

Pulls in doc changes from #280 in an attempt to simplify that PR (more to come for other types).

@codecov
Copy link

codecov bot commented Sep 10, 2023

Codecov Report

Merging #486 (69a4723) into main (1414fbc) will not change coverage.
The diff coverage is 75.00%.

@@           Coverage Diff           @@
##             main     #486   +/-   ##
=======================================
  Coverage   90.16%   90.16%           
=======================================
  Files          41       41           
  Lines       11277    11277           
=======================================
  Hits        10168    10168           
  Misses       1109     1109           
Files Changed Coverage Δ
src/terminal.rs 58.30% <75.00%> (ø)

@joshka
Copy link
Member Author

joshka commented Sep 10, 2023

  • added no_run to fix failing CI

src/terminal.rs Outdated Show resolved Hide resolved
src/terminal.rs Outdated Show resolved Hide resolved
@joshka joshka force-pushed the docs-terminal branch 3 times, most recently from 13c07ff to b8566d7 Compare September 12, 2023 00:35
- moves the impl Terminal block up to be closer to the type definition
@joshka
Copy link
Member Author

joshka commented Sep 12, 2023

One last rebase for conflicts -whew!

@joshka joshka merged commit 42f8169 into main Sep 12, 2023
32 of 33 checks passed
@joshka joshka deleted the docs-terminal branch September 12, 2023 01:39
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