Skip to content

Conversation

@dannywillems
Copy link
Member

@dannywillems dannywillems commented Jul 17, 2025

Fix #1159

@dannywillems dannywillems enabled auto-merge July 17, 2025 18:44
@dannywillems dannywillems requested a review from 0xMimir July 17, 2025 18:47
@dannywillems dannywillems force-pushed the dw/remove-old-decomissionned-peers branch from 7a6c386 to 3838444 Compare July 17, 2025 19:12
Copy link
Contributor

@0xMimir 0xMimir left a comment

Choose a reason for hiding this comment

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

LGTM

@dannywillems dannywillems force-pushed the dw/remove-old-decomissionned-peers branch from 3838444 to 35e05e7 Compare July 21, 2025 11:02
@dannywillems dannywillems merged commit b72f2fd into develop Jul 21, 2025
38 checks passed
@dannywillems dannywillems deleted the dw/remove-old-decomissionned-peers branch October 16, 2025 11:52
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.

CI: replace decommissionned OCaml node peers

3 participants