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

Update documentation CI #297

Draft
wants to merge 2 commits into
base: master
Choose a base branch
from

Conversation

hyrodium
Copy link
Contributor

Based on the discussion around #295 (comment).

@hyrodium hyrodium marked this pull request as draft February 18, 2024 12:09
@hyrodium
Copy link
Contributor Author

I was forgetting updating fonts in the script. I'll undraft this PR when I finish that.

Copy link

codecov bot commented Feb 18, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 73.94%. Comparing base (3d959e3) to head (d050db6).

❗ Current head d050db6 differs from pull request most recent head 2508deb. Consider uploading reports for the commit 2508deb to get more accurate results

Additional details and impacted files
@@            Coverage Diff             @@
##           master     #297      +/-   ##
==========================================
- Coverage   74.11%   73.94%   -0.17%     
==========================================
  Files          36       36              
  Lines        6753     6687      -66     
==========================================
- Hits         5005     4945      -60     
+ Misses       1748     1742       -6     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

Copy link

stale bot commented Apr 22, 2024

Is this still relevant? If so, what is blocking it? Is there anything you can do to help move it forward?

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs.

@stale stale bot added the wontfix label Apr 22, 2024
@stale stale bot removed the wontfix label Apr 25, 2024
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.

1 participant