Open phadej opened 1 month ago
This was fixed in revision 2 of 0.2.20.
ping @sjakobi @treeowl - the issue is still not fixed in master. There is no CI for GHC-9.10 either.
master
This was fixed in revision 2 of 0.2.20.