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

Add DOI badge #73

Merged
merged 1 commit into from
Dec 6, 2021
Merged

Add DOI badge #73

merged 1 commit into from
Dec 6, 2021

Conversation

jbusecke
Copy link
Contributor

@jbusecke jbusecke commented Dec 6, 2021

Finishing touches for #72

@codecov
Copy link

codecov bot commented Dec 6, 2021

Codecov Report

Merging #73 (f0d3b6f) into master (df59d46) will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff           @@
##           master      #73   +/-   ##
=======================================
  Coverage   97.18%   97.18%           
=======================================
  Files           2        2           
  Lines         249      249           
  Branches       71       71           
=======================================
  Hits          242      242           
  Misses          5        5           
  Partials        2        2           

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update df59d46...f0d3b6f. Read the comment docs.

@jbusecke
Copy link
Contributor Author

jbusecke commented Dec 6, 2021

Hey @TomNicholas, I am getting some failing tests here. I had this situation before and a restart fixed it. Is this a quirk with hypothesis? Any chance you could check on this?
E.g. this PR does only change the README, and should not have failed?

@jbusecke
Copy link
Contributor Author

jbusecke commented Dec 6, 2021

I managed to get this to pass and will merge now. I have opened #74 to keep track of this problem.

@jbusecke jbusecke merged commit 0d3bf5a into master Dec 6, 2021
@dougiesquire dougiesquire mentioned this pull request Jul 19, 2022
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