Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

bugfix for website #850

Merged
merged 1 commit into from
Jun 22, 2023
Merged

bugfix for website #850

merged 1 commit into from
Jun 22, 2023

Conversation

michaeldeistler
Copy link
Contributor

No description provided.

@codecov
Copy link

codecov bot commented Jun 19, 2023

Codecov Report

Merging #850 (e2b6396) into main (d39e7e0) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main     #850   +/-   ##
=======================================
  Coverage   74.60%   74.60%           
=======================================
  Files          80       80           
  Lines        6238     6238           
=======================================
  Hits         4654     4654           
  Misses       1584     1584           
Flag Coverage Δ
unittests 74.60% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

Copy link
Contributor

@janfb janfb left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

thanks for fixing this

@michaeldeistler michaeldeistler merged commit 4e29490 into main Jun 22, 2023
@michaeldeistler michaeldeistler deleted the michaeldeistler-patch-1 branch June 22, 2023 09:48
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