Skip to content

main: new schema coverage tool - #4782

Merged
handrews merged 3 commits into
OAI:mainfrom
ralfhandl:main-new-schema-coverage
Aug 11, 2025
Merged

main: new schema coverage tool#4782
handrews merged 3 commits into
OAI:mainfrom
ralfhandl:main-new-schema-coverage

Conversation

@ralfhandl

@ralfhandlralfhandl commented Jul 15, 2025

Copy link
Copy Markdown
Contributor

This is an upport of

with a few tweaks to make some test scripts independent of the branch they are running in, and an update to

  • adjust-release-branch.sh

which we will need to produce the v3.2.0 release.

  • schema changes are included in this pull request
  • schema changes are needed for this pull request but not done yet
  • no schema changes are needed for this pull request

@ralfhandl
ralfhandl requested review from a team as code ownersJuly 15, 2025 12:58
@ralfhandlralfhandl added approved pr port PRs that just port an approved PR to another version script Pull requests that update Bash or JavaScript code labels Jul 15, 2025
@ralfhandlralfhandl changed the title main: new schema coveragemain: new schema coverage toolJul 16, 2025
@ralfhandl
ralfhandl requested a review from handrewsJuly 23, 2025 10:27
@ralfhandl

Copy link
Copy Markdown
ContributorAuthor

@handrews This only synchronizes main with dev and will ultimately be needed in v3.2-devbefore we can create v3.2.0-rel.

@ralfhandlralfhandl mentioned this pull request Jul 23, 2025
Minimum of current 3.1 and 3.2 coverage
@ralfhandl

Copy link
Copy Markdown
ContributorAuthor

@mikekistler@handrews This is option 2 from our discussion on test coverage.

Merging this and propagating it to dev will allow merging PRs

which will bring the new coverage tool to the 3.1 and 3.2 dev branches.

@handrews
handrews merged commit e4d17f8 into OAI:mainAug 11, 2025
2 checks passed
@ralfhandl
ralfhandl deleted the main-new-schema-coverage branch August 12, 2025 07:21
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

approved pr portPRs that just port an approved PR to another versionscriptPull requests that update Bash or JavaScript code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

@ralfhandl@handrews