Skip to content

feat: globally register ZLS index and toolchains#658

Merged
aherrmann merged 3 commits into
mainfrom
zls-index
May 20, 2026
Merged

feat: globally register ZLS index and toolchains#658
aherrmann merged 3 commits into
mainfrom
zls-index

Conversation

@aherrmann
Copy link
Copy Markdown
Owner

@aherrmann aherrmann commented May 20, 2026

Move that extension out of dev-dependency mode so that it also applies for downstream users when rules_zig is not the root module.

Note, this drops the requirement for at least one registered ZLS toolchain.

aherrmann added 3 commits May 20, 2026 10:42
Move that extension out of dev-dependency mode so that it also applies
for downstream users when rules_zig is not the root module.
@aherrmann aherrmann enabled auto-merge May 20, 2026 09:04
@aherrmann aherrmann merged commit 1ee476f into main May 20, 2026
18 checks passed
@aherrmann aherrmann deleted the zls-index branch May 20, 2026 09:12
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.

1 participant