Closed bvdmitri closed 1 year ago
Patch and project coverage have no change.
Comparison is base (
edae574
) 79.91% compared to head (819eb7c
) 79.91%.
:mega: This organization is not using Codecov’s GitHub App Integration. We recommend you install it so Codecov can continue to function properly for your repositories. Learn more
:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Do you have feedback about the report comment? Let us know in this issue.
This PR modifies the
make docs
command to handle cases where examples may not exist, displaying a warning instead of generating an error. The changes also include small improvements to the Makefile, with the goal of enhancing stability on Windows machines.