agda-stdlib-utils: allow base-4.22 for GHC 9.14#2984
agda-stdlib-utils: allow base-4.22 for GHC 9.14#2984andreasabel wants to merge 1 commit intomasterfrom
Conversation
|
I put this commit onto experimental, which I also updated to latest |
|
This should definitely target |
|
It is already on experimental. If that is sufficient, the PR can be closed. |
|
Personally, I'm OK with this being merged to master. In principle, the version of GHC we use for |
MatthewDaggitt
left a comment
MatthewDaggitt
left a comment
There was a problem hiding this comment.
Apart from that looks good!
| - master | ||
| - experimental | ||
| workflow_dispatch: | ||
| {} |
There was a problem hiding this comment.
What is the purpose of these additions?
There was a problem hiding this comment.
You can also run this workflow manually on the "Actions" page. ("Dispatch")
We will likely not need to do so, but this line is autogenerated by HaskellCI. (Like the whole action is.)
4 participants
We need this base relaxation to test Agda under GHC 9.14.
CI passes: https://github.com/agda/agda-stdlib/actions/runs/24605750482/job/71951601541