Closed mforets closed 3 years ago
This pull request's base commit is no longer the HEAD commit of its target branch. This means it includes changes from outside the original pull request, including, potentially, unrelated coverage changes.
Thanks! Merging...
did you trigger JuliaRegistrator? i don't see the new version on https://github.com/JuliaRegistries/General/pulls
JuliaRegistrator
I just did it a minute ago...
Pull Request Test Coverage Report for Build 859106620
Warning: This coverage report may be inaccurate.
This pull request's base commit is no longer the HEAD commit of its target branch. This means it includes changes from outside the original pull request, including, potentially, unrelated coverage changes.
Details
💛 - Coveralls