Skip to content

fix: Allow to solve environments with different platforms in the same solve group#5538

Merged
ruben-arts merged 9 commits intoprefix-dev:mainfrom
borchero:fix-2725
Mar 3, 2026
Merged

fix: Allow to solve environments with different platforms in the same solve group#5538
ruben-arts merged 9 commits intoprefix-dev:mainfrom
borchero:fix-2725

Conversation

@borchero
Copy link
Contributor

Description

Fixes #2725

How Has This Been Tested?

MWE from the issue now solves correctly.

AI Disclosure

  • This PR contains AI-generated content.
    • I have tested any AI-generated content in my PR.
    • I take responsibility for any AI-generated content in my PR.

Tools: Claude

Checklist:

  • I have performed a self-review of my own code
  • I have commented my code, particularly in hard-to-understand areas
  • I have made corresponding changes to the documentation
  • I have added sufficient tests to cover my changes.
  • I have verified that changes that would impact the JSON schema have been made in schema/model.py.

@borchero borchero marked this pull request as draft February 22, 2026 23:07
@borchero
Copy link
Contributor Author

Smh, didn't rebase main in my fork 🙃

@borchero
Copy link
Contributor Author

There we go 😅

@borchero borchero marked this pull request as ready for review February 22, 2026 23:53
Copy link
Contributor

@ruben-arts ruben-arts left a comment

Choose a reason for hiding this comment

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

Thank you, that was less complex than I was expecting it to be! It works for me and I can't think of a way to break it!

@ruben-arts ruben-arts merged commit a01b60b into prefix-dev:main Mar 3, 2026
37 checks passed
@borchero borchero deleted the fix-2725 branch March 3, 2026 12:49
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.

Environments with different platforms fail to solve in the same solve group

3 participants