Skip to content

Merge pull request #27 from tchoutri/use-ghc-9.10 #195

Merge pull request #27 from tchoutri/use-ghc-9.10

Merge pull request #27 from tchoutri/use-ghc-9.10 #195

Annotations

2 warnings

Create a GitHub prerelease with the binary artifacts

succeeded Feb 5, 2025 in 7s