Skip to content

Conversation

@FWuellhorst
Copy link
Owner

No description provided.

mwetter and others added 6 commits May 23, 2024 14:21
* add coverage script from Mans with changes based on review in #315 #243

* add unit-test and fix minor bug

* Catch case for no examples
* add options for startup and additional package loading
@FWuellhorst FWuellhorst merged commit 5b7bb47 into FWuellhorst:issue253_coverage Jun 27, 2024
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