Skip to content

Conversation

@rwedge
Copy link
Contributor

@rwedge rwedge commented Jul 21, 2021

Some files that are generated at build time for the docs got checked into the repo, probably due to the docs folders shuffling around and the .gitignore file not being updated accordingly.

This PR updates the .gitignore file and deletes the unwanted files

@codecov
Copy link

codecov bot commented Jul 21, 2021

Codecov Report

Merging #1544 (5905a4f) into main (e6afad0) will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff           @@
##             main    #1544   +/-   ##
=======================================
  Coverage   98.58%   98.58%           
=======================================
  Files         140      140           
  Lines       14990    14990           
=======================================
  Hits        14778    14778           
  Misses        212      212           

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 e6afad0...5905a4f. Read the comment docs.

@rwedge rwedge merged commit 94f561b into main Jul 22, 2021
@rwedge rwedge deleted the rw-remove-generated-dot-files branch July 22, 2021 16:14
@davesque davesque mentioned this pull request Jul 23, 2021
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.

3 participants