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

Cache content when building the documentation. #1882

Merged
merged 8 commits into from
Nov 15, 2022
Merged

Conversation

MaxJPRey
Copy link
Collaborator

No description provided.

@github-actions github-actions bot added the maintenance Package and maintenance related label Oct 25, 2022
@MaxJPRey MaxJPRey marked this pull request as draft October 25, 2022 19:23
@codecov
Copy link

codecov bot commented Oct 26, 2022

Codecov Report

Merging #1882 (54ecee8) into main (525b843) will increase coverage by 0.01%.
The diff coverage is 75.89%.

@@            Coverage Diff             @@
##             main    #1882      +/-   ##
==========================================
+ Coverage   80.20%   80.22%   +0.01%     
==========================================
  Files         108      108              
  Lines       46252    46378     +126     
==========================================
+ Hits        37098    37207     +109     
- Misses       9154     9171      +17     

@MaxJPRey MaxJPRey marked this pull request as ready for review October 26, 2022 19:18
@MaxJPRey MaxJPRey changed the title Cache some content when building the documentation. Cache content when building the documentation. Oct 26, 2022
@MaxJPRey MaxJPRey merged commit 21f0c7e into main Nov 15, 2022
@MaxJPRey MaxJPRey deleted the maint/doc_cache branch November 15, 2022 19:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
maintenance Package and maintenance related
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants