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.

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

Release preparations #132

Merged
merged 6 commits into from
Oct 31, 2023
Merged

Release preparations #132

merged 6 commits into from
Oct 31, 2023

Conversation

piegamesde
Copy link
Member

No description provided.

@piegamesde
Copy link
Member Author

@Lucus16 how thorough do you want the change log to be? I had a look at the git log, and didn't find anything where I would say that this should be added to the change log.

Also cabal gen-bounds doesn't report anything. I'd like to fix #130, but I don't know how to find out what the highest working boundary is or how to test it.

@Lucus16
Copy link
Contributor

Lucus16 commented Sep 23, 2023

If you don't see anything missing, that's good, it means we kept it up to date when making changes. cabal gen-bounds apparently doesn't do what I thought it did. I guess you can manually bump the upper bounds to match the suggestions from that issue and rebuild to check they work.

MAINTENANCE.md Outdated Show resolved Hide resolved
@piegamesde
Copy link
Member Author

I updated the flake dependencies, let me know if I forgot to update something. (I don't really understand flakes tbh, so I might have missed something)

@Lucus16
Copy link
Contributor

Lucus16 commented Oct 2, 2023

I don't understand flakes either but it looks updated. 👍

@piegamesde
Copy link
Member Author

AFAICT, the CI now fails building the webdemo due to compile errors in some dependency because of our version bumps. Not sure how to fix that though

@yorickvP
Copy link
Contributor

At some point it should be possible to move from ghcjs to the new ghc wasi backend. Maybe it's already possible?

@yorickvP
Copy link
Contributor

Update: I looked at the state of it and the JS backend might be more promising

@infinisil
Copy link
Member

We're in the call and looked at this together with @piegamesde and @Sereja313

@infinisil infinisil merged commit 7e9e06e into master Oct 31, 2023
2 checks passed
@infinisil infinisil deleted the release branch October 31, 2023 21:49
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.

4 participants