Skip to content

[Chore] Merge main to dev#1921

Merged
JiahuiWho merged 1 commit intodevelopfrom
merge-main-to-dev
Apr 8, 2026
Merged

[Chore] Merge main to dev#1921
JiahuiWho merged 1 commit intodevelopfrom
merge-main-to-dev

Conversation

@JiahuiWho
Copy link
Copy Markdown
Contributor

Description

Merge main to develop

Context

Git flow

Testing

  • ./gradlew test

Documentation

N/A

Known limitations

N/A

### Description

Merge `release/4.2.1` to `main`

### Context

Git flow

### Testing

- `./gradlew test`

### Documentation

N/A

### Known limitations

N/A
@JiahuiWho JiahuiWho changed the title [Chore] Merge main to dev (#1920) [Chore] Merge main to dev Apr 8, 2026
@JiahuiWho JiahuiWho marked this pull request as ready for review April 8, 2026 23:05
Copilot AI review requested due to automatic review settings April 8, 2026 23:05
Copy link
Copy Markdown

Copilot AI left a comment

Choose a reason for hiding this comment

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

Copilot wasn't able to review any files in this pull request.


💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@JiahuiWho JiahuiWho merged commit a334071 into develop Apr 8, 2026
16 checks passed
@JiahuiWho JiahuiWho deleted the merge-main-to-dev branch April 8, 2026 23:36
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