You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Thank you for this feedback. It has turned out that the network I am in right now has (gasp) a DNS problem: the host 'checkstyle.org' could not be resolved (which unfortunately cannot be seen in the failed error, but was revealed by xmllint --verify). Having fixed that revealed a formerly unnoticed problem in my PR which I have now fixed, too. Closing this.
The current code from the master branch does not pass all tests.
The text was updated successfully, but these errors were encountered: