Skip to content

hint for know mtxs issue with java#1870

Merged
chgeo merged 4 commits intomainfrom
hint-for-know-mtxs-issue
May 23, 2025
Merged

hint for know mtxs issue with java#1870
chgeo merged 4 commits intomainfrom
hint-for-know-mtxs-issue

Conversation

@ecklie
Copy link
Copy Markdown
Contributor

@ecklie ecklie commented May 22, 2025

Are there any other places where the hint would make sense?

@ecklie ecklie requested a review from renejeglinsky as a code owner May 22, 2025 15:46
@ecklie ecklie requested a review from chgeo May 22, 2025 15:46
@renejeglinsky
Copy link
Copy Markdown
Contributor

This could also be a part of our troubleshooting in the MTX section.

chgeo and others added 2 commits May 23, 2025 10:09
Co-authored-by: René Jeglinsky <rene.jeglinsky@sap.com>
Copy link
Copy Markdown
Contributor

@chgeo chgeo left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I have moved te hint to the install/build phase, where it will actually occur.

@renejeglinsky renejeglinsky added this pull request to the merge queue May 23, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks May 23, 2025
@ecklie ecklie added this pull request to the merge queue May 23, 2025
github-merge-queue bot pushed a commit that referenced this pull request May 23, 2025
Are there any other places where the hint would make sense?

---------

Co-authored-by: Christian Georgi <chgeo@users.noreply.github.com>
Co-authored-by: René Jeglinsky <rene.jeglinsky@sap.com>
Co-authored-by: Christian Georgi <christian.georgi@sap.com>
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks May 23, 2025
@chgeo chgeo added this pull request to the merge queue May 23, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks May 23, 2025
@chgeo chgeo added this pull request to the merge queue May 23, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks May 23, 2025
@chgeo
Copy link
Copy Markdown
Contributor

chgeo commented May 23, 2025

Stange issues w/ merge queues. They seem to observe an old state. Anyways, will merge this now and see how the build main behaves.

@chgeo chgeo merged commit f73e385 into main May 23, 2025
4 checks passed
@chgeo chgeo deleted the hint-for-know-mtxs-issue branch May 23, 2025 10:07
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