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

bump dunai to 0.11 #249

Merged
merged 2 commits into from
Oct 17, 2023
Merged

bump dunai to 0.11 #249

merged 2 commits into from
Oct 17, 2023

Conversation

ners
Copy link
Contributor

@ners ners commented Sep 15, 2023 •
edited
Loading

This also required a flake update to bring in simple-affine-space-0.2.

turion
turion requested changes Sep 15, 2023
View reviewed changes
Copy link
Owner

@turion turion left a comment

Choose a reason for hiding this comment

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

Thanks a lot! Just a few details to be changed. Can also you run the formatter?

rhine/rhine.cabal Outdated Show resolved Hide resolved
rhine/rhine.cabal Outdated Show resolved Hide resolved
rhine-terminal/rhine-terminal.cabal Outdated Show resolved Hide resolved
rhine-gloss/rhine-gloss.cabal Outdated Show resolved Hide resolved
rhine-bayes/rhine-bayes.cabal Outdated Show resolved Hide resolved
@ners
Copy link
Contributor Author

ners commented Oct 16, 2023

@turion everything addressed, please have another look. 🙂

@ners ners requested a review from turion October 16, 2023 06:41
@turion turion enabled auto-merge (squash) October 17, 2023 06:55
@turion turion merged commit 6aa8e3e into turion:master Oct 17, 2023
13 checks passed
@turion turion mentioned this pull request Oct 17, 2023
Closed
@ners ners deleted the dunai-0.11 branch October 17, 2023 15:49
@turion turion mentioned this pull request Jan 5, 2024
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@turion turion turion 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.
2 participants
@ners @turion