Skip to content

Conversation

XhmikosR
Copy link
Member

Missed this in #1698

@XhmikosR XhmikosR added the build label Apr 26, 2023
@mdo mdo marked this pull request as ready for review September 12, 2023 14:57
@mdo
Copy link
Member

mdo commented Sep 12, 2023

Going to try this out in v1.11.0

@mdo mdo merged commit 26a4b76 into main Sep 12, 2023
@mdo mdo deleted the xmr/ci branch September 12, 2023 14:57
@XhmikosR
Copy link
Member Author

I don't think I had finished this so I doubt it works. If you have time feel free to make a new PR :)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
No open projects
Status: Done
Development

Successfully merging this pull request may close these issues.

2 participants