Skip to content

Add platform mappings#1104

Merged
keith merged 3 commits intomasterfrom
ks/add-platform-mappings
Sep 7, 2023
Merged

Add platform mappings#1104
keith merged 3 commits intomasterfrom
ks/add-platform-mappings

Conversation

@keith
Copy link
Copy Markdown
Member

@keith keith commented Sep 7, 2023

Replace #1102 with support for bzlmod

Replace #1102 with support
for bzlmod
@keith keith force-pushed the ks/add-platform-mappings branch from b1fbdd5 to 0396ac7 Compare September 7, 2023 18:01
@keith keith merged commit 2c0c3c5 into master Sep 7, 2023
@keith keith deleted the ks/add-platform-mappings branch September 7, 2023 18:03
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