Skip to content

Add conda and custom libsemigroups CI tests#346

Merged
james-d-mitchell merged 3 commits into
libsemigroups:mainfrom
Joseph-Edwards:ci
Nov 7, 2025
Merged

Add conda and custom libsemigroups CI tests#346
james-d-mitchell merged 3 commits into
libsemigroups:mainfrom
Joseph-Edwards:ci

Conversation

@Joseph-Edwards

Copy link
Copy Markdown
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