Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

chore(common): Port to Alloy #251

Open
wants to merge 1 commit into
base: rf/fix/config-alloy-primitives
Choose a base branch
from
Open

chore(common): Port to Alloy #251

wants to merge 1 commit into from

Conversation

refcell
Copy link
Collaborator

@refcell refcell commented Aug 13, 2024

Description

Port the common module to alloy.

@refcell refcell added K-chore Kind: general fixes not relating to a bug A-common Area: Common types M-port Meta: Ports code to new implementations labels Aug 13, 2024
@refcell refcell requested a review from ncitron August 13, 2024 23:03
@refcell refcell self-assigned this Aug 13, 2024
@refcell refcell changed the title fix(config): Port to Alloy chore(common): Port to Alloy Aug 13, 2024
ncitron
ncitron approved these changes Aug 14, 2024
View reviewed changes
Copy link
Contributor

@ncitron ncitron left a comment

Choose a reason for hiding this comment

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

LGTM!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ncitron ncitron ncitron approved these changes

Assignees

@refcell refcell

Labels
A-common Area: Common types K-chore Kind: general fixes not relating to a bug M-port Meta: Ports code to new implementations
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@refcell @ncitron