Skip to content

exit openapi refresh gracefully if there is no change - #4982

Merged
vladak merged 1 commit into
oracle:masterfrom
vladak:build_openapi_no_change
Jun 25, 2026
Merged

exit openapi refresh gracefully if there is no change#4982
vladak merged 1 commit into
oracle:masterfrom
vladak:build_openapi_no_change

Conversation

@vladak

@vladak vladak commented Jun 25, 2026

Copy link
Copy Markdown
Member

Just like the javadoc.sh the RESTful API refresh should exit cleanly if there is no change in the data.

@vladak vladak added the build label Jun 25, 2026
@oracle-contributor-agreement oracle-contributor-agreement Bot added the OCA Verified All contributors have signed the Oracle Contributor Agreement. label Jun 25, 2026
@vladak
vladak force-pushed the build_openapi_no_change branch from 7d60559 to 58f7c15 Compare June 25, 2026 13:02
@vladak
vladak merged commit b9be6fd into oracle:master Jun 25, 2026
7 of 10 checks passed
@vladak
vladak deleted the build_openapi_no_change branch June 25, 2026 13:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

build OCA Verified All contributors have signed the Oracle Contributor Agreement.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant