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: minor corrections #1405

Merged
merged 2 commits into from
Aug 9, 2022

Conversation

andiwand
Copy link
Contributor

@andiwand andiwand commented Aug 8, 2022

minor corrections to the doc we added yesterday

@andiwand andiwand added this to the next milestone Aug 8, 2022
@andiwand andiwand added the Component - Documentation Affects the documentation label Aug 8, 2022
@codecov
Copy link

codecov bot commented Aug 8, 2022

Codecov Report

Merging #1405 (08abad4) into main (5cef357) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main    #1405   +/-   ##
=======================================
  Coverage   47.76%   47.76%           
=======================================
  Files         380      380           
  Lines       20164    20164           
  Branches     9387     9387           
=======================================
  Hits         9632     9632           
  Misses       4083     4083           
  Partials     6449     6449           

📣 Codecov can now indicate which changes are the most critical in Pull Requests. Learn more

Co-authored-by: Benjamin Huth <37871400+benjaminhuth@users.noreply.github.com>
@benjaminhuth
Copy link
Member

thanks for these corrections :)

@paulgessinger paulgessinger merged commit df70711 into acts-project:main Aug 9, 2022
@andiwand andiwand deleted the docs-minor-corrections branch August 9, 2022 08:18
kodiakhq bot pushed a commit that referenced this pull request Aug 9, 2022
I was too late, to comment on some things in [PR #1405](#1405), therefore a new PR.
@paulgessinger paulgessinger modified the milestones: next, v20.0.0 Aug 16, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Component - Documentation Affects the documentation
Projects
Documentation
  
Awaiting triage
Development

Successfully merging this pull request may close these issues.

None yet

3 participants