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
Update some outdated descriptions of coverage instrumentation#1809
Merged
davidtwco merged 1 commit intorust-lang:masterrust-lang/rustc-dev-guide:masterfrom Zalathar:coverageZalathar/rustc-dev-guide:coverageCopy head branch name to clipboardNov 4, 2023
