Minor improvements to cabal.project

[kk-hainq]

Minor things I found while bumping dependencies elsewhere:

• Point flat back to its original repository (bug fix merged).
• Remove GHC options on removed packages.

[JaredCorduan]

as always, thank you @kk-hainq for your help! I don't understand the hydra error, the log says "All 460 tests passed (1224.75s)". 🤔

[kk-hainq]

@JaredCorduan I've rebased and it's gone now! The ormolu one seems stuck, but hopefully not required.

[JaredCorduan]

@JaredCorduan I've rebased and it's gone now! The ormolu one seems stuck, but hopefully not required.

great, thanks again! the ormolu action is actually required, but I'll figure out what it takes to get past it

[JaredCorduan]

Actually, that ormolu check is the old one, and should not be required. The new ormolu check is inside the "Haskell CI" action, which I don't see in the list of checks.

it's as though https://github.com/input-output-hk/cardano-ledger/pull/2499/files never happened. which is weird, because your fork is up to date.

[kk-hainq]

@JaredCorduan I've faced odd CI situations on a few first PRs in other repositories as well. Can you help cherry-pick 43b1b4de603f520146f2aaa6f8cba27ed4c46f6d to another branch and open a new PR for it? :(

[JaredCorduan]

@JaredCorduan I've faced odd CI situations on a few first PRs in other repositories as well. Can you help cherry-pick 43b1b4de603f520146f2aaa6f8cba27ed4c46f6d to another branch and open a new PR for it? :(

absolutely @kk-hainq ! The only reason I didn't do that immediately was because I wanted to learn what was going wrong so that accepting PRs from forks would be easy in the future. Which is the whole reason for https://github.com/input-output-hk/cardano-ledger/pull/2499/files But I'm more than happy to get this across the line and see what happens next time.

[kk-hainq]

Sure, thanks! I can hunt typos with my clones when you need more experiments...

[JaredCorduan]

replaced by #2600