Skip to content

Add a pointer to docs for the constraints macro#298

Merged
wouterwln merged 2 commits intomainfrom
add-pointer-in-constraints-macro
Mar 10, 2026
Merged

Add a pointer to docs for the constraints macro#298
wouterwln merged 2 commits intomainfrom
add-pointer-in-constraints-macro

Conversation

@Nimrais
Copy link
Member

@Nimrais Nimrais commented Mar 10, 2026

This PR adds a pointer to real documentation in @Constraints macro and make text in the Constraint Specification readable.

@Nimrais Nimrais requested review from bvdmitri and wouterwln and removed request for bvdmitri March 10, 2026 13:50
@Nimrais Nimrais changed the title Add pointer in constraints macro Add a pointer to docs for the constraints macro Mar 10, 2026
@wouterwln wouterwln merged commit 799bfff into main Mar 10, 2026
1 check passed
@wouterwln wouterwln deleted the add-pointer-in-constraints-macro branch March 10, 2026 15:27
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.

2 participants