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

Disable PDF docs build #735

Merged
merged 1 commit into from
Aug 14, 2023

Disable pdf docs build (see #743)

d928f98
Select commit
Loading
Failed to load commit list.
Merged

Disable PDF docs build #735

Disable pdf docs build (see #743)
d928f98
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Aug 11, 2023 in 0s

94.5% (+0.0%) compared to e748b8c

View this Pull Request on Codecov

94.5% (+0.0%) compared to e748b8c

Details

Codecov Report

Merging #735 (d928f98) into main (e748b8c) will not change coverage.
The diff coverage is n/a.

@@          Coverage Diff          @@
##            main    #735   +/-   ##
=====================================
  Coverage   94.5%   94.5%           
=====================================
  Files         43      43           
  Lines       3463    3463           
=====================================
  Hits        3273    3273           
  Misses       190     190