Skip to content

Add built-in specifiedBy directive#775

Merged
milessabin merged 1 commit intotypelevel:mainfrom
hugo-vrijswijk:specified-by-directive
Nov 17, 2025
Merged

Add built-in specifiedBy directive#775
milessabin merged 1 commit intotypelevel:mainfrom
hugo-vrijswijk:specified-by-directive

Conversation

@hugo-vrijswijk
Copy link
Contributor

@hugo-vrijswijk hugo-vrijswijk commented Nov 17, 2025

Based on #772 as it touches a lot of the same code, so that should be merged first

@hugo-vrijswijk hugo-vrijswijk marked this pull request as ready for review November 17, 2025 18:46
Copy link
Member

@milessabin milessabin left a comment

Choose a reason for hiding this comment

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

LGTM!

@milessabin milessabin merged commit d50ee5f into typelevel:main Nov 17, 2025
10 checks passed
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