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

build: create initial rust buck setup #3434

Closed
wants to merge 10 commits into from
Closed

build: create initial rust buck setup #3434

wants to merge 10 commits into from

Conversation

vindard
Copy link
Contributor

@vindard vindard commented Oct 26, 2023

No description provided.

@github-actions github-actions bot added the core label Oct 26, 2023
@vindard vindard marked this pull request as draft October 26, 2023 19:57
@vindard vindard requested a review from bodymindarts October 26, 2023 21:29
@vindard vindard marked this pull request as ready for review October 26, 2023 21:29
@vindard vindard changed the title build: create initial rust buck toolchain build: create initial rust buck setup Oct 26, 2023
@vindard
Copy link
Contributor Author

vindard commented Nov 1, 2023

Taken over by #3456

@vindard vindard closed this Nov 1, 2023
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