Skip to content

Conversation

@makslevental
Copy link
Contributor

No description provided.

Copy link
Contributor

@ashermancinelli ashermancinelli left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@makslevental makslevental mentioned this pull request Nov 18, 2025
@ashermancinelli
Copy link
Contributor

Once this is in I'll run the pipeline generator script and check in the updated pipeline stuff. Thanks!

@makslevental makslevental merged commit 736e9ee into main Nov 18, 2025
2 of 6 checks passed
@makslevental makslevental deleted the makslevental-patch-1 branch November 18, 2025 18:10
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