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

Restyle Devel #11

Merged
merged 1 commit into from
Nov 20, 2020
Merged

Restyle Devel #11

merged 1 commit into from
Nov 20, 2020

Conversation

restyled-io[bot]
Copy link

@restyled-io restyled-io bot commented Nov 20, 2020

Automated style fixes for #10, created by Restyled.

The following restylers made fixes:

  • prettier-markdown

To incorporate these changes, merge this Pull Request into the original. We
recommend using the Squash or Rebase strategies.

NOTE: As work continues on the original Pull Request, this process will
re-run and update (force-push) this Pull Request with updated style fixes as
necessary. If the style is fixed manually at any point (i.e. this process finds
no fixes to make), this Pull Request will be closed automatically.

Sorry if this was unexpected. To disable it, see our documentation.

@codecov
Copy link

codecov bot commented Nov 20, 2020

Codecov Report

Merging #11 (2210cfd) into devel (361be39) will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff           @@
##            devel      #11   +/-   ##
=======================================
  Coverage   85.19%   85.19%           
=======================================
  Files          15       15           
  Lines        1202     1202           
=======================================
  Hits         1024     1024           
  Misses        178      178           

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 361be39...2210cfd. Read the comment docs.

@detrin detrin merged commit 606d71e into devel Nov 20, 2020
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