Skip to content

Conversation

@facebook-github-bot
Copy link
Contributor

facebook-github-bot commented Apr 15, 2022

🔗 Helpful links

💊 CI failures summary and remediations

As of commit aad6910 (more details on the Dr. CI page):

Expand to see more

💚 💚 Looks good so far! There are no failures yet. 💚 💚


This comment was automatically generated by Dr. CI (expand for details).

Please report bugs/suggestions to the (internal) Dr. CI Users group.

Click here to manually regenerate this comment.

Michael Andreas Dagitses added 8 commits April 15, 2022 06:26
Michael Andreas Dagitses added 8 commits April 16, 2022 14:04
Michael Andreas Dagitses added 6 commits April 21, 2022 07:22
Michael Andreas Dagitses added 5 commits April 22, 2022 10:00
facebook-github-bot pushed a commit that referenced this pull request Apr 26, 2022
Summary:
Pull Request resolved: #75868

This is unused in OSS and internally.
ghstack-source-id: 154696014

Test Plan: I manually verified it is unused and am relying on CI to confirm.

Reviewed By: dreiss

Differential Revision: D35674693

fbshipit-source-id: 945ec0590e9d939eab8944ae48bae72cb61e6261
@facebook-github-bot facebook-github-bot deleted the gh/dagitses/322/head branch April 29, 2022 14:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants