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

chore: update version to 1.3.0 #12940

Merged
merged 1 commit into from
Oct 18, 2023

chore: update version to 1.3.0

2c9d8ee
Select commit
Loading
Failed to load commit list.
Merged

chore: update version to 1.3.0 #12940

chore: update version to 1.3.0
2c9d8ee
Select commit
Loading
Failed to load commit list.
Task list completed / task-list-completed Started 2023-10-18 07:43:12 ago

0 / 6 tasks completed

6 tasks still to be completed

Details

Required Tasks

Task Status
I have written necessary rustdoc comments Incomplete
I have added necessary unit tests and integration tests Incomplete
I have added fuzzing tests or opened an issue to track them. (Optional, recommended for new SQL features #7934). Incomplete
My PR contains breaking changes. (If it deprecates some features, please create a tracking issue to remove them in the future). Incomplete
All checks passed in ./risedev check (or alias, ./risedev c) Incomplete
My PR contains critical fixes that are necessary to be merged into the latest release. (Please check out the details) Incomplete