Skip to content

Conversation

@akurtakov
Copy link
Member

And validate eclipse.platform.common

@akurtakov akurtakov marked this pull request as draft August 23, 2025 06:39
@akurtakov
Copy link
Member Author

Trying to find issues like #3236 earlier.

@akurtakov akurtakov force-pushed the master branch 6 times, most recently from f841792 to 1cd205c Compare August 23, 2025 06:50
@akurtakov akurtakov force-pushed the master branch 4 times, most recently from ebf2426 to 731f834 Compare September 11, 2025 12:26
And validate eclipse.platform.common
@akurtakov akurtakov marked this pull request as ready for review September 11, 2025 12:49
@akurtakov
Copy link
Member Author

Merge without waiting for verification as it would not actually verify it.

@akurtakov akurtakov merged commit d760b70 into eclipse-platform:master Sep 11, 2025
6 of 7 checks passed
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.

2 participants