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 which instead of whereis in format.sh script. #775

Merged
merged 2 commits into from
Aug 31, 2022
Merged

Conversation

vivekvpandya
Copy link
Contributor

Update nighlty version to 2022-05-15 (rust 1.62).

Fixes #772

Update nighlty version to 2022-05-15 (rust 1.62).
@vivekvpandya vivekvpandya added the s:review-needed The pull request requires reviews label Aug 26, 2022
@vivekvpandya vivekvpandya self-assigned this Aug 26, 2022
@vivekvpandya vivekvpandya added this to the v0.3.6 milestone Aug 26, 2022
@vivekvpandya vivekvpandya added s:accepted This pull request is ready for merge and removed s:accepted This pull request is ready for merge labels Aug 30, 2022
@sea212 sea212 added s:accepted This pull request is ready for merge and removed s:review-needed The pull request requires reviews labels Aug 30, 2022
@vivekvpandya vivekvpandya merged commit a4e8bfe into main Aug 31, 2022
@vivekvpandya vivekvpandya deleted the issue-772 branch August 31, 2022 08:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
s:accepted This pull request is ready for merge
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Formatting script can't install tools properly
2 participants