Skip to content

Conversation

@MikeWrock
Copy link
Collaborator

No description provided.

@MikeWrock
Copy link
Collaborator Author

@EzraBrooks looks like your branch also fixes CI here. Worth merging?

@MikeWrock MikeWrock requested a review from EzraBrooks January 2, 2025 00:02
@MikeWrock
Copy link
Collaborator Author

This seems like a confusing workaround for something that is unlikely to affect a user, since most users actually have configs and a src folder. But at least we know why CI is failing

@MikeWrock MikeWrock closed this Jan 17, 2025
EzraBrooks pushed a commit that referenced this pull request Feb 14, 2025
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.

1 participant