Skip to content

refactor: cleanup schema and types for CustomText (@fehmer)#6605

Merged
Miodec merged 4 commits intomasterfrom
feature/cleanup-customtext-schema
May 27, 2025
Merged

refactor: cleanup schema and types for CustomText (@fehmer)#6605
Miodec merged 4 commits intomasterfrom
feature/cleanup-customtext-schema

Conversation

@fehmer
Copy link
Copy Markdown
Member

@fehmer fehmer commented May 27, 2025

No description provided.

@monkeytypegeorge monkeytypegeorge added frontend User interface or web stuff packages Changes in local packages labels May 27, 2025
@github-actions
Copy link
Copy Markdown
Contributor

Continuous integration check(s) failed. Please review the failing check's logs and make the necessary changes.

@github-actions github-actions bot added the waiting for update Pull requests or issues that require changes/comments before continuing label May 27, 2025
@github-actions github-actions bot removed the waiting for update Pull requests or issues that require changes/comments before continuing label May 27, 2025
@github-actions
Copy link
Copy Markdown
Contributor

Continuous integration check(s) failed. Please review the failing check's logs and make the necessary changes.

@github-actions github-actions bot added the waiting for update Pull requests or issues that require changes/comments before continuing label May 27, 2025
@github-actions github-actions bot removed the waiting for update Pull requests or issues that require changes/comments before continuing label May 27, 2025
Copy link
Copy Markdown
Member

@Miodec Miodec left a comment

Choose a reason for hiding this comment

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

Thanks

@Miodec Miodec merged commit 47de0c8 into master May 27, 2025
12 checks passed
@Miodec Miodec deleted the feature/cleanup-customtext-schema branch May 27, 2025 14:30
Miodec pushed a commit to byseif21/monkeytype that referenced this pull request May 29, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

frontend User interface or web stuff packages Changes in local packages

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants