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

fix RTD build #3245

Open
wants to merge 40 commits into
base: devel
Choose a base branch
from
Open

fix RTD build #3245

wants to merge 40 commits into from

Conversation

andre-merzky
Copy link
Member

No description provided.

Copy link

codecov bot commented Oct 23, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 42.91%. Comparing base (fc61207) to head (90ed7b9).

Additional details and impacted files
@@           Coverage Diff           @@
##            devel    #3245   +/-   ##
=======================================
  Coverage   42.91%   42.91%           
=======================================
  Files          97       97           
  Lines       11286    11286           
=======================================
  Hits         4843     4843           
  Misses       6443     6443           

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

@andre-merzky
Copy link
Member Author

TODO: find out why this times out. Get debug logs as artifacts.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants