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

Update the tutorial #1967

Merged
merged 2 commits into from
Apr 3, 2023
Merged

Update the tutorial #1967

merged 2 commits into from
Apr 3, 2023

Conversation

lukaszcz
Copy link
Collaborator

@lukaszcz lukaszcz commented Apr 3, 2023

  • Removes the discussion of IO from the tutorial
  • Expands the section about coverage checking
  • Fixes typos and language mistakes
  • Updates the changelog in the docs folder (this doesn't happen automatically with the new release)

@lukaszcz lukaszcz added the documentation Improvements or additions to documentation label Apr 3, 2023
@lukaszcz lukaszcz added this to the 0.3.2 milestone Apr 3, 2023
@lukaszcz lukaszcz self-assigned this Apr 3, 2023
@lukaszcz lukaszcz force-pushed the docs-tutorial-update branch from ccc09cd to 8bd255a Compare April 3, 2023 12:07
@lukaszcz lukaszcz requested a review from jonaprieto April 3, 2023 12:13
@lukaszcz lukaszcz temporarily deployed to github-pages April 3, 2023 12:18 — with GitHub Actions Inactive
@paulcadman paulcadman force-pushed the docs-tutorial-update branch from 54ab676 to 1ef4238 Compare April 3, 2023 14:00
@paulcadman paulcadman temporarily deployed to github-pages April 3, 2023 14:08 — with GitHub Actions Inactive
@lukaszcz lukaszcz merged commit cc2f060 into main Apr 3, 2023
@lukaszcz lukaszcz deleted the docs-tutorial-update branch April 3, 2023 14:46
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
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants