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

Add/min max #142

Merged
merged 3 commits into from
Mar 16, 2024
Merged

Add/min max #142

merged 3 commits into from
Mar 16, 2024

Conversation

sanmai
Copy link
Owner

@sanmai sanmai commented Mar 16, 2024

No description provided.

github-actions[bot]
github-actions bot previously approved these changes Mar 16, 2024
Copy link

@github-actions github-actions bot left a comment

Choose a reason for hiding this comment

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

Approved with flying colors! You're on fire, friend!

@sanmai sanmai dismissed github-actions[bot]’s stale review March 16, 2024 01:18

The merge-base changed after approval.

github-actions[bot]
github-actions bot previously approved these changes Mar 16, 2024
Copy link

@github-actions github-actions bot left a comment

Choose a reason for hiding this comment

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

I have a good feeling about this! It's going to be great!

@sanmai sanmai dismissed github-actions[bot]’s stale review March 16, 2024 01:23

The merge-base changed after approval.

@sanmai sanmai changed the base branch from main to pr/splice March 16, 2024 01:25
@sanmai sanmai changed the base branch from pr/splice to main March 16, 2024 01:25
Copy link

@github-actions github-actions bot left a comment

Choose a reason for hiding this comment

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

Absolutely, unequivocally, undeniably yes!

@sanmai sanmai enabled auto-merge (squash) March 16, 2024 01:32
@sanmai sanmai merged commit cbd2ea3 into main Mar 16, 2024
7 checks passed
@sanmai sanmai deleted the add/min-max branch March 16, 2024 01:33
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.

1 participant