Skip to content

no-check flag is no longer necessary#160

Merged
ry merged 1 commit intomainfrom
no-check
Jun 15, 2023
Merged

no-check flag is no longer necessary#160
ry merged 1 commit intomainfrom
no-check

Conversation

@ry
Copy link
Copy Markdown
Member

@ry ry commented Jun 14, 2023

No description provided.

@ry ry enabled auto-merge (squash) June 14, 2023 16:33
Copy link
Copy Markdown
Member

@magurotuna magurotuna left a comment

Choose a reason for hiding this comment

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

LGTM

@ry ry merged commit c5d308a into main Jun 15, 2023
@ry ry deleted the no-check branch June 15, 2023 02:44
@magurotuna magurotuna mentioned this pull request Jul 27, 2023
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.

2 participants