Skip to content

Conversation

@Joseph-Edwards
Copy link
Collaborator

Supersedes #322 and #240.

This PR adds two new CI jobs. One runs the tests using the version of libsemigroups available through conda, and the other uses the version of libsemigroups on a specified branch and fork. The latter of these is only run on workflow dispatch.

For an example of the custom branch job being used, see https://github.com/Joseph-Edwards/libsemigroups_pybind11/actions/runs/19152851857.

@Joseph-Edwards Joseph-Edwards added ci Label for PRs and issues related to the CI github_actions Pull requests that update GitHub Actions code labels Nov 6, 2025
@james-d-mitchell james-d-mitchell merged commit 1801686 into libsemigroups:main Nov 7, 2025
17 checks passed
@Joseph-Edwards Joseph-Edwards deleted the ci branch November 11, 2025 01:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci Label for PRs and issues related to the CI github_actions Pull requests that update GitHub Actions code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants