Skip to content

Stick to GHC 8.10.7 in CI until changelog-d is updated and update CI job names to permit making them mandatory in Settings #8505

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

Merged
merged 2 commits into from
Sep 30, 2022

Conversation

Mikolaj
Copy link
Member

@Mikolaj Mikolaj commented Sep 30, 2022

This is a continuation of #8503. It turns out phadej/changelog-d#2 requires a fixed GHC in CI, as well, but it must have been cached, so I CI passed fine in the workaround PR, but failed in #7386.

@Mikolaj
Copy link
Member Author

Mikolaj commented Sep 30, 2022

I will emergency-merge this as well, after CI passes.

@Mikolaj
Copy link
Member Author

Mikolaj commented Sep 30, 2022

@mergify rebase

@mergify
Copy link
Contributor

mergify bot commented Sep 30, 2022

rebase

✅ Branch has been successfully rebased

@andreabedini andreabedini force-pushed the update-CI-to-ghcup-on-GHC-9.4 branch from 4efafad to bbaa2b1 Compare September 30, 2022 16:39
@Mikolaj Mikolaj changed the title Stick to GHC 8.10.7 in CI until changelog-d is updated Stick to GHC 8.10.7 in CI until changelog-d is updated and update CI job names to permit making them mandatory in Settings Sep 30, 2022
@Mikolaj
Copy link
Member Author

Mikolaj commented Sep 30, 2022

Emergency merging. Thank you for the review, @ulysses4ever.

@Mikolaj
Copy link
Member Author

Mikolaj commented Sep 30, 2022

@mergify rebase

@mergify
Copy link
Contributor

mergify bot commented Sep 30, 2022

rebase

☑️ Nothing to do

  • any of:
    • #commits-behind>0 [:pushpin: rebase requirement]
    • -linear-history [:pushpin: rebase requirement]
  • -closed [:pushpin: rebase requirement]

@Mikolaj Mikolaj merged commit 83c5a47 into haskell:master Sep 30, 2022
@ulysses4ever
Copy link
Collaborator

@mergify backport

@mergify
Copy link
Contributor

mergify bot commented Oct 6, 2022

backport

❌ No backport have been created

No destination branches found

@ulysses4ever
Copy link
Collaborator

@mergify backport 3.8

@mergify
Copy link
Contributor

mergify bot commented Oct 6, 2022

@ulysses4ever
Copy link
Collaborator

@mergify backport 3.8

@mergify
Copy link
Contributor

mergify bot commented Oct 7, 2022

mergify bot added a commit that referenced this pull request Oct 7, 2022
Stick to GHC 8.10.7 in CI until changelog-d is updated and update CI job names to permit making them mandatory in Settings (backport #8505)
@Mikolaj
Copy link
Member Author

Mikolaj commented Nov 3, 2022

@fgaz: once you switch our CI to use the new changelog.d under your maintainership, please feel free to revert this PR.

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

Successfully merging this pull request may close these issues.

2 participants