Skip to content

Conversation

@mtzguido
Copy link
Member

@mtzguido mtzguido commented Oct 6, 2025

This failed on a local everest build.

This failed on a local everest build.
@mtzguido
Copy link
Member Author

mtzguido commented Oct 6, 2025

I'll merge this since I think it's minor, and hoping to get a green in everest soon.

@mtzguido mtzguido merged commit b542d65 into project-everest:master Oct 6, 2025
17 checks passed
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