-
Notifications
You must be signed in to change notification settings - Fork 17
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
Fix add_general_registry #28
Conversation
@SaschaMann @DilumAluthge I haven't figured out why this wasn't detected in tests here, given that |
Presumably the |
Codecov ReportBase: 100.00% // Head: 100.00% // No change to project coverage 👍
Additional details and impacted files@@ Coverage Diff @@
## master #28 +/- ##
=========================================
Coverage 100.00% 100.00%
=========================================
Files 1 1
Lines 2 2
=========================================
Hits 2 2 Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here. ☔ View full report at Codecov. |
Something fishy is going on with the CI set up here. Prior to However I think it was just a race between which Renaming that file is the robust fix though, both here and |
As mentioned in julia-runtest, I don't understand why this would be necessary, |
I'll merge it already to fix the bug but I'm really unsure what happened there and would like to figure that out :D |
If the overwrite theory is false I don't have a clue 😬 |
Fixes #27
Need to look into testing this. Evidently it wasn't tested in #25