Skip to content

Conversation

@irtazaakram
Copy link
Member

@irtazaakram irtazaakram commented Dec 19, 2025

Copy link
Contributor

@feanil feanil left a comment

Choose a reason for hiding this comment

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

One small change, otherwise looks good, don't forget to also bump the version so that we can do a release of the library.

@irtazaakram
Copy link
Member Author

I've bumped the version in this #883 as that will conclude all the changes related to problem block extraction.

@irtazaakram irtazaakram merged commit 80707b0 into master Dec 19, 2025
11 checks passed
@irtazaakram irtazaakram deleted the add-exceptions branch December 19, 2025 16:16
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.

3 participants