Skip to content

Fix docs version#1131

Merged
mjansen4857 merged 1 commit intomainfrom
forgot-to-save
Jan 12, 2026
Merged

Fix docs version#1131
mjansen4857 merged 1 commit intomainfrom
forgot-to-save

Conversation

@mjansen4857
Copy link
Copy Markdown
Owner

No description provided.

@github-actions github-actions bot added the documentation Pull requests that update the documentation site files label Jan 11, 2026
@codecov
Copy link
Copy Markdown

codecov bot commented Jan 12, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 84.59%. Comparing base (2d9b5f4) to head (99be2a0).
⚠️ Report is 1 commits behind head on main.

Additional details and impacted files
@@            Coverage Diff             @@
##             main    #1131      +/-   ##
==========================================
+ Coverage   84.58%   84.59%   +0.01%     
==========================================
  Files          95       95              
  Lines        9749     9749              
==========================================
+ Hits         8246     8247       +1     
+ Misses       1503     1502       -1     

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

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@mjansen4857 mjansen4857 enabled auto-merge (squash) January 12, 2026 00:03
@mjansen4857 mjansen4857 merged commit 980d492 into main Jan 12, 2026
24 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Pull requests that update the documentation site files

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant