New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Missing tracking hints (oops) #2063

Merged

addisoncrump merged 1 commit into main from missing-tracking-hints-2

Apr 17, 2024

Collaborator

addisoncrump commented Apr 17, 2024 •

edited

Loading

Don't merge until CI passes pls


          missed a spot

4c45c19

addisoncrump mentioned this pull request

Fix some missing tracking hints #2058

Merged

Collaborator Author

addisoncrump commented Apr 17, 2024

Okay, the failing check is actually unrelated: rust-lang/rust#124075

addisoncrump merged commit 467c6d7 into main

76 of 78 checks passed

addisoncrump deleted the missing-tracking-hints-2 branch

April 17, 2024 14:24

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet