Closed 5225225 closed 2 years ago
:pushpin: Commit 1df5537 has been approved by jdm
Does this project have CI? If it does, then might be worth adding a cargo doc
run to find warnings like this. (I'd need to look up the exact command)
Oh, shoot, I forgot that we disabled travisci and haven't migrated to GitHub actions yet. I knew I was putting that off for a good reason.
:hourglass: Testing commit 1df553794097ddc9ef60210294bad1e2165c6e0a with merge d7ede79afdbb8adaa107679441426b5a9a60169a...
:sunny: Test successful - checks-github Approved by: jdm Pushing d7ede79afdbb8adaa107679441426b5a9a60169a to master...
@bors-servo r+