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: merge v4 into main #1430

Merged
merged 16 commits into from
Nov 6, 2023
Merged

Conversation

Serpentiel
Copy link
Contributor

About this change—what it does

merges v4 into main to keep things up-to-date

Why this way

to keep things up-to-date

@Serpentiel Serpentiel added the skip workflows Skips workflows execution for this PR label Nov 6, 2023
@Serpentiel Serpentiel requested a review from a team November 6, 2023 12:52
@Serpentiel Serpentiel force-pushed the aleks-chore-rebase-with-v4-6-11-2023 branch from 39b0fb0 to c408675 Compare November 6, 2023 12:54
Copy link
Contributor

@ivan-savciuc ivan-savciuc left a comment

Choose a reason for hiding this comment

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

LGTM

Copy link
Contributor

@byashimov byashimov left a comment

Choose a reason for hiding this comment

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

lgtm

@Serpentiel Serpentiel merged commit 602935a into main Nov 6, 2023
8 of 9 checks passed
@Serpentiel Serpentiel deleted the aleks-chore-rebase-with-v4-6-11-2023 branch November 6, 2023 13:08
@Serpentiel Serpentiel assigned Serpentiel and unassigned byashimov Nov 6, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
skip workflows Skips workflows execution for this PR
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants