Skip to content

Conversation

@fred-labs
Copy link
Collaborator

No description provided.

@fred-labs fred-labs force-pushed the variation branch 2 times, most recently from 58e23a0 to 4168467 Compare October 15, 2025 08:49
@argenos
Copy link
Member

argenos commented Oct 15, 2025

Feel free to close this one and push the seed changes to #35 if it's easier to just rebase one PR!

@fred-labs fred-labs changed the base branch from variation to devel October 15, 2025 18:57
@fred-labs fred-labs force-pushed the add_seed branch 2 times, most recently from 83cc42b to 50d2c47 Compare October 15, 2025 19:04
@fred-labs fred-labs marked this pull request as ready for review October 15, 2025 19:05
@fred-labs
Copy link
Collaborator Author

Rebased.
I would prefer to merge this first (as this is the version that is currently integrated in our tooling)

@fred-labs fred-labs requested a review from argenos October 15, 2025 19:08
@argenos argenos merged commit a481336 into devel Oct 21, 2025
3 checks passed
@argenos argenos deleted the add_seed branch January 27, 2026 14:05
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