Skip to content

Update GHC versions used by haskell-ci and fix patch file#3056

Open
silas-hw wants to merge 4 commits into
agda:masterfrom
silas-hw:haskell-ci
Open

Update GHC versions used by haskell-ci and fix patch file#3056
silas-hw wants to merge 4 commits into
agda:masterfrom
silas-hw:haskell-ci

Conversation

@silas-hw

@silas-hw silas-hw commented Jul 7, 2026

Copy link
Copy Markdown
Contributor
  • Updated the GHC versions that haskell-ci tests against to match the versions supported by Agda
  • Fixed the haskell-ci.patch file, which failed with the current output of haskell-ci
  • Regenerated haskell-ci.yml and applied said patch
    • The workflow should now only apply to pushes and pull requests that it needs to
  • Addresses haskell-ci problems #3055. The issue with it unnecessarily creating new caches stems from the haskell-ci tool. A patch file could be used to fix it, but I think something more 'permanent' would be much better, especially since it seems the current patch file was already missed at least once.

@JacquesCarette JacquesCarette left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me. And nice to see 3 very old versions drop off the testing matrix.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants