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

Documentation build configuration updates #1414

Merged
merged 2 commits into from
Oct 25, 2023
Merged

Documentation build configuration updates #1414

merged 2 commits into from
Oct 25, 2023

Conversation

jponge
Copy link
Member

@jponge jponge commented Oct 25, 2023

No description provided.

@jponge jponge added documentation Improvements or additions to documentation ci/cd/build CI/CD pipeline and build labels Oct 25, 2023
@jponge jponge added this to the 2.6.0 milestone Oct 25, 2023
@jponge jponge marked this pull request as ready for review October 25, 2023 14:31
@jponge jponge enabled auto-merge October 25, 2023 14:31
@codecov
Copy link

codecov bot commented Oct 25, 2023

Codecov Report

Merging #1414 (81a2852) into main (e68eae3) will decrease coverage by 0.14%.
Report is 3 commits behind head on main.
The diff coverage is n/a.

❗ Current head 81a2852 differs from pull request most recent head 75d07b3. Consider uploading reports for the commit 75d07b3 to get more accurate results

Additional details and impacted files

Impacted file tree graph

@@             Coverage Diff              @@
##               main    #1414      +/-   ##
============================================
- Coverage     89.23%   89.10%   -0.14%     
+ Complexity     3360     3355       -5     
============================================
  Files           459      459              
  Lines         13438    13438              
  Branches       1655     1655              
============================================
- Hits          11992    11974      -18     
- Misses          800      812      +12     
- Partials        646      652       +6     

see 14 files with indirect coverage changes

@jponge jponge merged commit a768405 into main Oct 25, 2023
5 checks passed
@jponge jponge deleted the docs/updates-oct23 branch October 25, 2023 14:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ci/cd/build CI/CD pipeline and build documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant