Skip to content
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.

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

GitHub Actions files cleanup #3454

Closed
wants to merge 1 commit into from
Closed

Conversation

ramilbakhshyiev
Copy link
Contributor

Summary: Removing commented out lines and adding proper descriptions and comments where appropriate.

Differential Revision: D57501602

@facebook-github-bot
Copy link
Contributor

This pull request was exported from Phabricator. Differential Revision: D57501602

Summary:

Removing commented out lines and adding proper descriptions and comments where appropriate.

Reviewed By: junjieqi

Differential Revision: D57501602
@facebook-github-bot
Copy link
Contributor

This pull request was exported from Phabricator. Differential Revision: D57501602

@facebook-github-bot
Copy link
Contributor

This pull request has been merged in e822a8c.

@ramilbakhshyiev ramilbakhshyiev deleted the export-D57501602 branch May 17, 2024 19:08
abhinavdangeti pushed a commit to blevesearch/faiss that referenced this pull request Jul 12, 2024
Summary:
Pull Request resolved: facebookresearch#3454

Removing commented out lines and adding proper descriptions and comments where appropriate.

Reviewed By: junjieqi

Differential Revision: D57501602

fbshipit-source-id: 0202ff73b7a83158808affba9b98b96dff569457
aalekhpatel07 pushed a commit to aalekhpatel07/faiss that referenced this pull request Oct 17, 2024
Summary:
Pull Request resolved: facebookresearch#3454

Removing commented out lines and adding proper descriptions and comments where appropriate.

Reviewed By: junjieqi

Differential Revision: D57501602

fbshipit-source-id: 0202ff73b7a83158808affba9b98b96dff569457
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.

2 participants