Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Remove duplicate documentation job in CI #256

Merged
merged 1 commit into from
Feb 19, 2025
Merged

Conversation

jishnub
Copy link
Member

@jishnub jishnub commented Feb 19, 2025

It seems this job was being run twice, once in CI and once separately as documentation. This removes the CI job.

Copy link

codecov bot commented Feb 19, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 89.53%. Comparing base (0690818) to head (cfc43cc).
Report is 3 commits behind head on master.

Additional details and impacted files
@@            Coverage Diff             @@
##           master     #256      +/-   ##
==========================================
- Coverage   89.58%   89.53%   -0.05%     
==========================================
  Files          11       11              
  Lines        1930     1940      +10     
==========================================
+ Hits         1729     1737       +8     
- Misses        201      203       +2     

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

@jishnub jishnub merged commit 2a08e1f into master Feb 19, 2025
16 of 17 checks passed
@jishnub jishnub deleted the jishnub/duplicate_docs branch February 19, 2025 10:08
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant