german1608
commented
1 year ago After taking a look, tasks needed for this would be:
- [ ] Compile it with GHC 9.4.2 to see if there is any change we have to do.
- [ ] Add GHC 9.4.2 to the CI build matrix
- [ ] Update the Tested-With section of iris.cabal
- [ ] Update the stack configuration (if needed)
I can work on this :)