Skip to content

update workflows#50

Merged
Hendrik-code merged 1 commit intomainfrom
issue47
Oct 25, 2024
Merged

update workflows#50
Hendrik-code merged 1 commit intomainfrom
issue47

Conversation

@Hendrik-code
Copy link
Copy Markdown
Owner

update readme with many fancy badges, added code coverage run and split tests into push to main and pull requests ones

…it tests into push to main and pull requests ones
@Hendrik-code Hendrik-code added the documentation Improvements or additions to documentation label Oct 25, 2024
@Hendrik-code Hendrik-code self-assigned this Oct 25, 2024
This was linked to issues Oct 25, 2024
@Hendrik-code Hendrik-code merged commit ab9f728 into main Oct 25, 2024
@Hendrik-code Hendrik-code deleted the issue47 branch October 25, 2024 09:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

workflows Add workflows and update readme

1 participant