Skip to content

runner: add dummy base classes Runner + Reporter#265

Closed
james-d-mitchell wants to merge 1 commit into
libsemigroups:v1from
james-d-mitchell:runner
Closed

runner: add dummy base classes Runner + Reporter#265
james-d-mitchell wants to merge 1 commit into
libsemigroups:v1from
james-d-mitchell:runner

Conversation

@james-d-mitchell

Copy link
Copy Markdown
Member

No description provided.

@james-d-mitchell james-d-mitchell marked this pull request as draft June 11, 2025 16:13
@james-d-mitchell

Copy link
Copy Markdown
Member Author

There are a bunch of warnings created by the doc in this PR that I will not try to fix until #261 is merged.

@james-d-mitchell

Copy link
Copy Markdown
Member Author

We decided not to go down this route, so closing.

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.

1 participant