Skip to content

Conversation

facelessuser
Copy link
Contributor

No description provided.

@facelessuser
Copy link
Contributor Author

This should actually fix all remaining build issues. Sorry that I got it wrong the first time, but all's well that ends well. At least it should all be working now.

@mrabarnett mrabarnett merged commit 457bcd3 into mrabarnett:hg Jul 29, 2025
@jasopolis
Copy link

Thanks so much for the quick fix!

@mrabarnett
Copy link
Owner

Thanks again.

The GitHub Action took a mere 52 minutes to complete. Ouch! :-)

@facelessuser
Copy link
Contributor Author

Lol, yeah, I see why you were skipping it. I imagine it was done when you were troubleshooting the build mess.

@paduszyk
Copy link

Thanks! 🙂

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.

4 participants