Skip to content

Conversation

@Joseph-Edwards
Copy link
Collaborator

This PR adds a workflow that tests libsemigroups_pybind11 against the conda version of libsemigroups. It also moves the linting into its own workflow.

Supersedes #240.

@Joseph-Edwards
Copy link
Collaborator Author

The Conda tests are failing because we haven't made a release of libsemigroups since adding the balance (and friends) functions. This is expected.

Arguably, it is too aggressive to run the tests for Conda and GitHub whenever we make a PR, since we might not mind if some of them fail. We could instead only check against GitHub libsemigroups for PRs into main, and against Conda libsemigroups for PRs into Stable branches.

On the other hand, it serves as a good reminder to make regular small releases, so I'm not sure what's best.

@james-d-mitchell
Copy link
Member

I'm happy enough for us to include these tests, but maybe we can scale them back to only testing ubuntu/mac-latest, python 3.13, since what are we testing here exactly? That we haven't become incompatible with the release versions of libsemigroups (good to know), and that we work with condo install libsemigroups (also good to know), neither of these involve the version of python (as far as I can tell), so maybe there's no point in testing all of these versions.

@Joseph-Edwards
Copy link
Collaborator Author

The reason for testing all of the versions is for making sure the Python code we've written is compatible with all of the versions of Python. For example, when we started adding typing support, we needed to check it was valid for the older versions of Python.

That said, I agree that we don't need to cheek all of the versions twice.

I think it's probably best to check all of the versions against GitHub libsemigroups, and only the conda one once. What do you think @james-d-mitchell?

@james-d-mitchell
Copy link
Member

Agreed @Joseph-Edwards sorry I thought I replied to this already!

@Joseph-Edwards
Copy link
Collaborator Author

Agreed @Joseph-Edwards sorry I thought I replied to this already!

No worries! I think we've discussed this in person, I just haven't gotten round to implementing it

@Joseph-Edwards
Copy link
Collaborator Author

Closed in favour of #346

@Joseph-Edwards Joseph-Edwards deleted the add-conda-to-ci branch November 7, 2025 09:54
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