Skip to content

Conversation

@joezuntz
Copy link
Collaborator

@joezuntz joezuntz commented Jun 10, 2025

This PR makes no code changes but just splits up the long pipeline.py into separate files. It should be considered after #123

@joezuntz joezuntz mentioned this pull request Jun 10, 2025
@joezuntz joezuntz marked this pull request as ready for review June 10, 2025 19:22
@joezuntz
Copy link
Collaborator Author

Unilaterally merging this since there is no new code, just bits moved around.

@joezuntz joezuntz merged commit 8378179 into master Jun 11, 2025
6 checks passed
@joezuntz joezuntz deleted the reorg_pipeline branch June 11, 2025 07:55
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.

2 participants