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

[Chore] Bump tested-with #20

Merged
merged 3 commits into from
Mar 9, 2024
Merged

Conversation

lierdakil
Copy link
Collaborator

Description

Problem: stack nightly is on GHC 9.8.2 now.

Solution: bump tested-with from 9.8.1 to 9.8.2

Related issue(s)

✅ Checklist for your Pull Request

Related changes (conditional)

  • Tests

    • If I added new functionality, I added tests covering it.
    • If I fixed a bug, I added a regression test to prevent the bug from
      silently reappearing again.
  • Documentation

    • I checked whether I should update the docs and did so if necessary:

    • I added an entry to the changelog if my changes are visible to the users
      and

    • provided a migration guide for breaking changes if possible

Stylistic guide (mandatory)

Problem: stack nightly is on GHC 9.8.2 now.

Solution: bump tested-with from 9.8.1 to 9.8.2
@lierdakil lierdakil enabled auto-merge March 9, 2024 06:40
Problem: haskell/actions is no longer maintained

Solution: switch to haskell-actions.
@lierdakil lierdakil force-pushed the lierdakil/chore-bump-tested-with branch from 8426e97 to 362758c Compare March 9, 2024 06:59
Problem: setting a resolver manually seemingly sometimes fails, giving
the old resolver version instead.

Solution: get the resolver from stackage.org. A giant hack, but should
work.
@lierdakil lierdakil force-pushed the lierdakil/chore-bump-tested-with branch from 362758c to a2805bb Compare March 9, 2024 07:25
@lierdakil lierdakil merged commit f7fa318 into master Mar 9, 2024
14 of 19 checks passed
@lierdakil lierdakil deleted the lierdakil/chore-bump-tested-with branch March 9, 2024 07:30
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