Skip to content

Add 'allLocalModules' access to extension#246

Merged
jjohannes merged 1 commit intomainfrom
245-allLocalModules
Oct 8, 2025
Merged

Add 'allLocalModules' access to extension#246
jjohannes merged 1 commit intomainfrom
245-allLocalModules

Conversation

@jjohannes
Copy link
Copy Markdown
Member

Resolve #245

@jjohannes jjohannes force-pushed the 245-allLocalModules branch 2 times, most recently from 6a020eb to 1cda618 Compare October 8, 2025 06:26
@jjohannes jjohannes force-pushed the 245-allLocalModules branch from 1cda618 to deb0f45 Compare October 8, 2025 06:32
@jjohannes jjohannes merged commit c9ebb22 into main Oct 8, 2025
1 check passed
@jjohannes jjohannes deleted the 245-allLocalModules branch October 8, 2025 11:05
@jjohannes jjohannes added this to the 1.11 milestone Oct 8, 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.

Make information about which local modules exist in a build accessible

2 participants