Skip to content

DOC: fix typos #2057

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
Merged
st-- merged 1 commit into from
Apr 2, 2023
Merged

DOC: fix typos #2057

st-- merged 1 commit into from
Apr 2, 2023

Conversation

@partev
Copy link
Contributor

@partev partev commented Apr 1, 2023

fix two typos

PR type: bugfix / enhancement / new feature / doc improvement

Related issue(s)/PRs:

Summary

Proposed changes

  • ...
  • ...
  • ...

What alternatives have you considered?

Minimal working example

# Put your example code in here

Release notes

Fully backwards compatible: yes / no

If not, why is it worth breaking backwards compatibility:

PR checklist

  • New features: code is well-documented
    • detailed docstrings (API documentation)
    • notebook examples (usage demonstration)
  • The bug case / new feature is covered by unit tests
  • Code has type annotations
  • Build checks
    • I ran the black+isort formatter (make format)
    • I locally tested that the tests pass (make check-all)
  • Release management
    • RELEASE.md updated with entry for this change
    • New contributors: I've added myself to CONTRIBUTORS.md

@partev
DOC: fix typos
6d36a20 
fix two typos
@codecov
Copy link

codecov bot commented Apr 1, 2023

Codecov Report

Patch and project coverage have no change.

Comparison is base (637b52d) 98.01% compared to head (6d36a20) 98.01%.

Additional details and impacted files 
@@           Coverage Diff            @@
##           develop    #2057   +/-   ##
========================================
  Coverage    98.01%   98.01%           
========================================
  Files           96       96           
  Lines         5404     5404           
========================================
  Hits          5297     5297           
  Misses         107      107

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

☔ View full report in Codecov by Sentry.
📢 Do you have feedback about the report comment? Let us know in this issue.

st--
st-- approved these changes Apr 2, 2023
View reviewed changes
Copy link
Member

@st-- st-- left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you!

@st-- st-- merged commit 7c6beae into GPflow:develop Apr 2, 2023
@partev partev deleted the patch-1 branch April 3, 2023 00:19
@khurram-ghani khurram-ghani mentioned this pull request May 3, 2023
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@st-- st-- st-- approved these changes

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

@partev @st--