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

Use built-in prelude #2205

Closed
wants to merge 1 commit into from
Closed

Use built-in prelude #2205

wants to merge 1 commit into from

Conversation

bigfootjon
Copy link
Member

Now that OSS buck2 supports this, let's use it!

@facebook-github-bot
Copy link
Contributor

@bigfootjon has imported this pull request. If you are a Meta employee, you can view this diff on Phabricator.

@facebook-github-bot
Copy link
Contributor

@bigfootjon merged this pull request in e55924b.

facebook-github-bot pushed a commit to facebook/hhvm that referenced this pull request May 17, 2024
Summary:
Now that OSS buck2 supports this, let's use it!

X-link: facebook/folly#2205

Reviewed By: yfeldblum

Differential Revision: D57439142

Pulled By: bigfootjon

fbshipit-source-id: 576cd0b83d4b4a2a5f833f7c03f53bd1267c6b62
@bigfootjon bigfootjon deleted the buck2/builtin-prelude branch May 22, 2024 17:27
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.

None yet

2 participants