Skip to content

[Pull Request] Daily merge#292

Merged
Dynesshely merged 29 commits intomainfrom
dev=main
Apr 2, 2025
Merged

[Pull Request] Daily merge#292
Dynesshely merged 29 commits intomainfrom
dev=main

Conversation

@Dynesshely
Copy link
Member

@Dynesshely Dynesshely commented Apr 2, 2025

What does this PR do?

This is a daily merge

Related issues

Nope


- And we added files into solution file
- Separate platform specific operations out
- Fixed some typo errors
- This is the first time I use `UDE` this word, it means the Universe Development Environment
@Dynesshely
Copy link
Member Author

The origin title of this PR is: '[Pull Request] Daily merge'. GitHub Action is checking and format it ...

@Dynesshely Dynesshely merged commit 180dca8 into main Apr 2, 2025
7 of 8 checks passed
@github-actions github-actions bot added the merged Pull Request had been merged label Apr 2, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merged Pull Request had been merged

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant