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

Update spago.yaml: set -> package_set #587

Merged
merged 2 commits into from
Jan 23, 2023
Merged

Update spago.yaml: set -> package_set #587

merged 2 commits into from
Jan 23, 2023

Conversation

MonoidMusician
Copy link
Contributor

@thomashoneyman
Copy link
Member

Can this be done alongside an upgrade to the latest Spago? If they go in separately then the build is broken.

@MonoidMusician
Copy link
Contributor Author

Yeah, I didn’t mean to merge this immediately, just leave it open as a reminder for when we do upgrade the spago dep

@thomashoneyman
Copy link
Member

cc: @f-f

@f-f
Copy link
Member

f-f commented Jan 23, 2023

Merged and released, if you run nix flake update it should all be sorted out

@thomashoneyman thomashoneyman merged commit 2ceaf95 into master Jan 23, 2023
@thomashoneyman thomashoneyman deleted the mm/package-set-wording branch January 23, 2023 20:56
@MonoidMusician
Copy link
Contributor Author

Thanks! :)

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

@thomashoneyman thomashoneyman thomashoneyman approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@MonoidMusician @thomashoneyman @f-f