Skip to content

Merge pull request #517 from IntersectMBO/erikd/allow-newer cabal.project: Remove un-needed allow-newers #1938

Merge pull request #517 from IntersectMBO/erikd/allow-newer cabal.project: Remove un-needed allow-newers

Merge pull request #517 from IntersectMBO/erikd/allow-newer cabal.project: Remove un-needed allow-newers #1938

Annotations

1 warning and 2 notices

build (8.10.7, ubuntu-latest)

succeeded Feb 3, 2025 in 36m 44s