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.

Sign up for GitHub

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

Jump to bottom

Make CI green again #300

Merged

Bodigrim merged 1 commit into master from ci

Oct 4, 2023

Contributor

Bodigrim commented Oct 3, 2023

Fix i386 job, otherwise it fails with

[ Error ] [
[ ...   ] Set error was: The version 2.11.1 of the tool stack is not installed.
[ Error ] Also check the logs in /github/home/.ghcup/logs

Fix CentOS job, it seems something is off with GHC 9.4.7 bindist, so let's stick to the previous recommended version:

[ Info  ] Installing GHC (this may take a while)
[ Error ] [./configure",
[ ...   ]                              "--prefix=/github/home/.ghcup/ghc/9.4.7"] failed with exit code 1.


          Make CI green again

ff301d7

Bodigrim requested a review from hasufell

October 3, 2023 21:15

Bodigrim mentioned this pull request

configure: Drop generated files #283

Closed

hasufell approved these changes

View reviewed changes

Bodigrim merged commit 1334905 into master

43 checks passed

Bodigrim deleted the ci branch

October 4, 2023 18:47

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

Labels

None yet