Skip to content

Conversation

@pilcrowonpaper
Copy link
Owner

Closes #302


DO NOT DELETE THIS SECTION.

Thank you for creating a pull request!

If your pull request is just making changes to the docs, please create it against the main branch.

If your pull request is making changes to the library source code, please create it against the next branch. If your pull request adds a new feature to the library, please open a new issue first.

If you're unsure, you can just create it against the main branch.

  • Please tick this box if you’ve read and understood this section..

@pilcrowonpaper pilcrowonpaper merged commit cebe672 into main May 9, 2025
2 checks passed
ricardo-a-alves-alb pushed a commit to ricardo-a-alves-alb/arctic 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

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Example in README does not type-check

2 participants