Closed mschwoer closed 4 months ago
LGTM.
Why sage reader failed? I think we did not change anything.
Why sage reader failed? I think we did not change anything.
Hmm, this seems to be a random exception on github ...
unfortunately, it's reproducible, and it does not have to do with the changes in this PR.
Maybe some dependencies changed?
Also, I could still not reproduce it locally.
apparently the new version has a _
instead of a " " :-)
I added and fixed more linting rules.