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: update schema docs from previous PR's that forgot to generate the updates #3341

Merged
merged 1 commit into from
Sep 9, 2024

Conversation

rrsettgast
Copy link
Member

No description provided.

@rrsettgast rrsettgast self-assigned this Sep 9, 2024
@CusiniM
Copy link
Collaborator

CusiniM commented Sep 9, 2024

not the same diffs I see in https://github.com/GEOS-DEV/GEOS/pull/3326/files

Copy link

codecov bot commented Sep 9, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 56.59%. Comparing base (14a21b5) to head (2ef45e3).
Report is 89 commits behind head on develop.

Additional details and impacted files
@@           Coverage Diff            @@
##           develop    #3341   +/-   ##
========================================
  Coverage    56.59%   56.59%           
========================================
  Files         1064     1064           
  Lines        89761    89761           
========================================
+ Hits         50801    50803    +2     
+ Misses       38960    38958    -2     

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

@rrsettgast rrsettgast merged commit cbe0d68 into develop Sep 9, 2024
18 of 22 checks passed
@rrsettgast rrsettgast deleted the bugfix/updateSchemaDocs branch September 9, 2024 18:53
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.

3 participants