Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merge develop to main for Major update v7.0.0 #512

Merged
merged 291 commits into from
Oct 14, 2023
Merged

Merge develop to main for Major update v7.0.0 #512

merged 291 commits into from
Oct 14, 2023

Conversation

200km
Copy link
Member

@200km 200km commented Oct 10, 2023

Related issues

NA

Description

Merge develop to main for Major update v7.0.0

Test results

See CI result.

Impact

Major update

Supplementary information

Merge after all other PRs are merged.

@200km 200km added priority::medium priority medium major update incompatible API changes labels Oct 10, 2023
@200km 200km added this to the Major Update for v7.0.0 milestone Oct 10, 2023
@200km 200km self-assigned this Oct 10, 2023
@200km 200km requested review from sksat and a team as code owners October 10, 2023 18:40
@200km 200km requested review from suzuki-toshihir0, t-hosonuma and conjikidow and removed request for a team October 10, 2023 18:40
@200km 200km merged commit 45c0c76 into main Oct 14, 2023
28 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
major update incompatible API changes priority::medium priority medium
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

4 participants