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.

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

Use merge queue #4546

Merged
merged 2 commits into from
May 11, 2023
Merged

Use merge queue #4546

merged 2 commits into from
May 11, 2023

Conversation

coot
Copy link
Contributor

@coot coot commented May 10, 2023

  • GHA: use merge queue
  • Use ghc-8.10.7 in CI

@coot coot requested review from newhoggy and a team as code owners May 10, 2023 14:24
@coot coot requested a review from bolt12 May 10, 2023 14:24
@coot coot enabled auto-merge May 10, 2023 16:08
@coot coot added this pull request to the merge queue May 10, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to no response for status checks May 10, 2023
@coot coot added this pull request to the merge queue May 11, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to no response for status checks May 11, 2023
@coot coot added this pull request to the merge queue May 11, 2023
@coot coot removed this pull request from the merge queue due to a manual request May 11, 2023
@coot coot force-pushed the coot/merge-queue branch from fa5fbd6 to e82d2be Compare May 11, 2023 10:20
@coot coot enabled auto-merge May 11, 2023 10:20
@coot coot disabled auto-merge May 11, 2023 10:25
@coot coot force-pushed the coot/merge-queue branch from e82d2be to a5f8ee3 Compare May 11, 2023 10:25
coot and others added 2 commits May 11, 2023 14:14
@coot @amesgen
GHA: use merge queue
f5562e1 
Removed bors configuration.

Co-authored-by: Alexander Esgen <alexander.esgen@iohk.io>
@coot @amesgen
Use ghc-8.10.7 in CI
38b6d31
@amesgen amesgen force-pushed the coot/merge-queue branch from a5f8ee3 to 38b6d31 Compare May 11, 2023 12:16
@coot coot enabled auto-merge May 11, 2023 12:19
@coot coot added this pull request to the merge queue May 11, 2023
Merged via the queue into master with commit a16739b May 11, 2023
@coot coot deleted the coot/merge-queue branch May 11, 2023 12:24
@coot coot added networking CI Issues / PRs related to CI labels Jul 6, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@bolt12 bolt12 bolt12 approved these changes

@newhoggy newhoggy Awaiting requested review from newhoggy

Assignees
No one assigned
Labels
CI Issues / PRs related to CI
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@coot @bolt12