Skip to content

Fix more cases of DefaultInfo use#414

Merged
keith merged 1 commit intomasterfrom
ks/fix-more-cases-of-defaultinfo-use
Jun 11, 2025
Merged

Fix more cases of DefaultInfo use#414
keith merged 1 commit intomasterfrom
ks/fix-more-cases-of-defaultinfo-use

Conversation

@keith
Copy link
Copy Markdown
Member

@keith keith commented Jun 11, 2025

Required for compatibility with bazelbuild/bazel#20183

@keith keith merged commit da96f62 into master Jun 11, 2025
11 checks passed
@keith keith deleted the ks/fix-more-cases-of-defaultinfo-use branch June 11, 2025 22:11
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