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

Fix NotReleasedConnections in Server2 tests #4623

Merged
merged 1 commit into from
Oct 27, 2023
Merged

Fix NotReleasedConnections in Server2 tests #4623

merged 1 commit into from
Oct 27, 2023

Conversation

bolt12
Copy link
Contributor

@bolt12 bolt12 commented Jul 12, 2023

Fix #4607

@bolt12
Copy link
Contributor Author

bolt12 commented Jul 13, 2023

This also fixes #4605

@bolt12 bolt12 linked an issue Jul 13, 2023 that may be closed by this pull request
@bolt12 bolt12 force-pushed the bolt12/4607 branch 2 times, most recently from 5fe5bbf to a446e78 Compare September 1, 2023 14:40
@bolt12 bolt12 requested a review from coot September 4, 2023 08:35
@bolt12 bolt12 requested a review from coot September 26, 2023 11:51
@bolt12 bolt12 changed the title Fix MultiNodeScript generator Fix NotReleasedConnections in Server2 tests Sep 29, 2023
ouroboros-network-framework/CHANGELOG.md Outdated Show resolved Hide resolved
Copy link
Contributor

@coot coot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@bolt12 bolt12 added this pull request to the merge queue Oct 11, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Oct 11, 2023
@bolt12 bolt12 added this pull request to the merge queue Oct 11, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Oct 11, 2023
@bolt12 bolt12 added this pull request to the merge queue Oct 11, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Oct 11, 2023
@bolt12 bolt12 added this pull request to the merge queue Oct 11, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Oct 11, 2023
@bolt12 bolt12 added this pull request to the merge queue Oct 11, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Oct 11, 2023
@bolt12 bolt12 added this pull request to the merge queue Oct 11, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Oct 11, 2023
@bolt12 bolt12 added this pull request to the merge queue Oct 11, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Oct 11, 2023
@bolt12 bolt12 added this pull request to the merge queue Oct 12, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Oct 12, 2023
@bolt12 bolt12 added this pull request to the merge queue Oct 12, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Oct 12, 2023
@bolt12 bolt12 added this pull request to the merge queue Oct 23, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Oct 23, 2023
@bolt12 bolt12 added this pull request to the merge queue Oct 23, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Oct 23, 2023
@bolt12 bolt12 linked an issue Oct 23, 2023 that may be closed by this pull request
@bolt12 bolt12 mentioned this pull request Oct 27, 2023
9 tasks
@bolt12 bolt12 enabled auto-merge October 27, 2023 10:52
@bolt12 bolt12 added this pull request to the merge queue Oct 27, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to no response for status checks Oct 27, 2023
@coot coot added this pull request to the merge queue Oct 27, 2023
Merged via the queue into master with commit 551dc22 Oct 27, 2023
11 checks passed
@coot coot deleted the bolt12/4607 branch October 27, 2023 14:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
2 participants