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

Upgrade CI from ghc 9.0.2 to ghc 9.2.8 #580

Merged
merged 1 commit into from
Jul 29, 2023

Conversation

quark17
Copy link
Collaborator

@quark17 quark17 commented Jul 29, 2023

The GitHub CI environments have GHC installed, but the version is changed from time to time. This caused a problem when it upgraded to 9.2.1, which had a bug that BSC triggered. At that time, we changed the CI workflow to explicitly specify the version of GHC, which we fixed to the 9.0.1 (and later bumped that to 9.0.2). The bug has been fixed and time has gone by, so it's time to reconsider what version of GHC to use. The current recommend version by GHCUP is 9.2.8, so this PR upgrades to that.

The GitHub environments have 9.6.2, which is the latest version. But let's stick with the stable recommended version (9.2.8), for releases. However, we should also test BSC with the newer GHC versions, but that's not addressed here -- I'll open an issue for adding testing of multiple GHC versions to the CI.

With this PR, the CI output will now contain many new warnings, since GHC 9.2+ warns about more issues. This is okay, but we should work on resolving them (see issue #469).

We held back to GHC 9.0 because of a bug in 9.2.1, but that has been
fixed.  GHC 9.2.8 is the current recommended version by GHCUP.
The CI output will now contain many new warnings, since GHC 9.2
warns about more issues -- this is okay, but we should work on
resolving them (see GitHub issue 469).
@quark17 quark17 merged commit 98a5797 into B-Lang-org:main Jul 29, 2023
28 checks passed
@quark17 quark17 deleted the bump-ci-ghc-version branch July 29, 2023 20:55
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.

1 participant