Join GitHub today
Update README.md URLs to HTTPS #11217
This CI failure seems to clearly be unrelated to the, the issue is lint failures in
This PR looks fine to me but before we merge let's see if we can resolve the test failures separately. I'm also curious how we got
@ckerr Yes, I noticed the build error when I created this PR.
Looks like #11191 (which was merged about 10 hrs ago) introduced the code that was not passing CI on master. However, that PR shows no build error. Not sure why.
Once #11218 is merged, I will re-push my commits for this PR and they should pass.