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

Remove CentOS from CI #686

Merged
merged 2 commits into from
Jul 20, 2024
Merged

Conversation

BebeSparkelSparkel
Copy link
Contributor

@BebeSparkelSparkel BebeSparkelSparkel commented Jul 1, 2024

@Bodigrim
Copy link
Contributor

Bodigrim commented Jul 1, 2024

Since yesterday CentOS 7 is finally out of maintenance, so my vote is to drop the correspondent job. @clyring what do you think?

@clyring
Copy link
Member

clyring commented Jul 6, 2024

I agree that since CentOS 7 is at end-of-life we should just drop it rather than try to repair CI for it.

That does leave open the question of which should be the oldest toolchains we care to remain compatible with will be moving forward. (I don't yet have any opinion here.)

@Bodigrim Bodigrim merged commit 594966b into haskell:master Jul 20, 2024
25 of 26 checks passed
@clyring clyring changed the title use vaulted centos packages to fix old-ghc ci Remove CentOS from CI Jul 20, 2024
Bodigrim pushed a commit that referenced this pull request Oct 9, 2024
* use vaulted centos packages

* removed centos 7 from ci
Bodigrim pushed a commit that referenced this pull request Oct 15, 2024
* use vaulted centos packages

* removed centos 7 from ci
@Bodigrim Bodigrim added this to the 0.12.2.0 milestone Oct 15, 2024
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.

3 participants