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 sudo for make benchmark if current user is not root #199

Merged
merged 3 commits into from
Jan 31, 2025

Conversation

qdeslandes
Copy link
Contributor

@qdeslandes qdeslandes commented Jan 30, 2025

Use sudo for the benchmark run if the current user is not root, otherwise run as-is. This is expected to solve the CI build failure as the container waits for a password to be provided with sudo.

Rename the create-images step from "Build container" to image, so this
step and the name one ("Build") are easy to distinguish in the GitHub PR
UI.
@qdeslandes qdeslandes force-pushed the benchmark_commit_summary branch from 3adb489 to 4c37a56 Compare January 30, 2025 18:22
Add a custom script to prefix the benchmark run command with sudo if the
current user is not root. This change will fix the benchmark run in the
CI (by not using sudo) while not breaking the local build (as sudo will
be used).
@qdeslandes qdeslandes force-pushed the benchmark_commit_summary branch from c141483 to 9fbfea6 Compare January 31, 2025 08:53
@qdeslandes qdeslandes changed the title wip Use sudo for make benchmark if current user is not root Jan 31, 2025
@qdeslandes qdeslandes merged commit bfe3b5e into facebook:main Jan 31, 2025
27 checks passed
@qdeslandes qdeslandes deleted the benchmark_commit_summary branch January 31, 2025 09:01
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