Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix CI #87

Merged
merged 1 commit into from
Jul 23, 2024
Merged

Fix CI #87

merged 1 commit into from
Jul 23, 2024

Conversation

tbidne
Copy link
Contributor

@tbidne tbidne commented Jul 14, 2024

Github builds started failing due to haskell-CI/haskell-ci#738. The fix is to switch the distribution to 'jammy', then run: 'haskell-ci regenerate'.

This PR implements this change with haskell-ci built on the fork andreasabel/haskell-ci 176e484, tag v0.19.20240703.

Unfortunately, haskell-ci no longer recognizes GHCs below 8, so these have been removed.

See haskell/happy#279 for more discussion.

Github builds started failing due to haskell-CI/haskell-ci #738.
The fix is to switch the distribution to 'jammy', then run:
'haskell-ci regenerate'.

This PR implements this change with haskell-ci built on the fork
andreasabel/haskell-ci 176e484, tag v0.19.20240703.

Unfortunately, haskell-ci no longer recognizes GHCs below 8, so these
have been removed.
@Bodigrim
Copy link

I'm not sure who are maintainers here. @andreasabel might you be comfortable to merge this? The broken PR blocks a chain of further work (#86 and then https://gitlab.haskell.org/ghc/ghc/-/merge_requests/12242), and @bgamari seems to be absent.

@andreasabel andreasabel merged commit 3d801a0 into haskell:master Jul 23, 2024
12 checks passed
@andreasabel
Copy link
Member

Hackage uploader rights have: BenGamari, DuncanCoutts, HerbertValerioRiedel, SimonMarlow, wz1000

There is no declared maintainer ([email protected] is a joke).

Judging from my own experience @wz1000 might be the most responsive from the above set, but he is not visible in the commit list, that would be @bgamari (but I do not think he reads Github notifications).

@wz1000
Copy link

wz1000 commented Jul 23, 2024

Is anything needed here? I do not have push rights to this repository, but I can upload new releases if required.

@bgamari is currently on vacation.

@Bodigrim
Copy link

Surprisingly @wz1000 was not a member of https://github.com/orgs/haskell/teams/ghc-devs, now fixed.

(This is a very large group, 26 members, and we need to discuss how we can whittle it down to a more sensible number of privileged accounts. Let's talk when @bgamari is back from vacation)

@tbidne
Copy link
Contributor Author

tbidne commented Jul 23, 2024

Thanks!

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.

4 participants