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

More memory for CI, upgrade stylish-haskell #4320

Merged
merged 2 commits into from
Jan 31, 2023
Merged

Conversation

amesgen
Copy link
Member

@amesgen amesgen commented Jan 30, 2023

Description

  • @jasagredo noted that CI fails relatively often due to memory limitations.
  • @jorisdral noted that stylish-haskell fails to compile on GHC 9.2.

Checklist

  • Branch
    • Commit sequence broadly makes sense
    • Commits have useful messages
    • The documentation has been properly updated
    • New tests are added if needed and existing tests are updated
    • Any changes affecting Consensus packages must have an entry in the
      appropriate changelog.d directory created using
      scriv. If in doubt, see
      the Consensus release
      process
      .
    • If this branch changes Network and has any consequences for downstream repositories or end users, said changes must be documented in interface-CHANGELOG.md
    • If serialization changes, user-facing consequences (e.g. replay from genesis) are confirmed to be intentional.
  • Pull Request
    • Self-reviewed the diff
    • Useful pull request description at least containing the following information:
      • What does this PR change?
      • Why these changes were needed?
      • How does this affect downstream repositories and/or end-users?
      • Which ticket does this PR close (if any)? If it does, is it linked?
    • Reviewer requested

@amesgen
Copy link
Member Author

amesgen commented Jan 31, 2023

bors merge

@iohk-bors iohk-bors bot merged commit 42f8152 into master Jan 31, 2023
@iohk-bors iohk-bors bot deleted the amesgen/infra-tweaks branch January 31, 2023 18:03
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.

2 participants