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.

Sign up for GitHub

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

Jump to bottom

Chore/more biome migration #323

Merged
merged 10 commits into from
Sep 4, 2024
Merged

Chore/more biome migration #323

merged 10 commits into from
Sep 4, 2024

Conversation

CarlosGamero
Copy link
Collaborator

@CarlosGamero CarlosGamero commented Sep 4, 2024 •
edited
Loading

Changes

Checklist

  • Apply one of following labels; major, minor, patch or skip-release
  • I've updated the documentation, or no changes were necessary
  • I've updated the tests, or no changes were necessary

@CarlosGamero CarlosGamero self-assigned this Sep 4, 2024
@CarlosGamero CarlosGamero marked this pull request as ready for review September 4, 2024 11:22
@CarlosGamero CarlosGamero merged commit 70c84d7 into main Sep 4, 2024
5 checks passed
@CarlosGamero CarlosGamero deleted the chore/more_biome_migration branch September 4, 2024 11:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@kibertoad kibertoad kibertoad approved these changes

@dariacm dariacm Awaiting requested review from dariacm dariacm is a code owner

@ondrejsevcik ondrejsevcik Awaiting requested review from ondrejsevcik ondrejsevcik is a code owner

Assignees

@CarlosGamero CarlosGamero

Labels
skip-release
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@CarlosGamero @kibertoad