Skip to content

Conversation

@dkijania
Copy link
Member

@dkijania dkijania commented Mar 28, 2024

Porting #15418 to develop. Basically this is only for compatible. So commiting only empty merge

@dkijania dkijania self-assigned this Mar 28, 2024
@dkijania
Copy link
Member Author

!ci-build-me

@emberian emberian merged commit 774e0aa into develop Mar 28, 2024
@emberian emberian deleted the dkijania/port_mina_maintenance_docker_dev branch March 28, 2024 21:31
@dkijania dkijania restored the dkijania/port_mina_maintenance_docker_dev branch March 29, 2024 00:23
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.

3 participants