Skip to content

tools/setup: support all common Linux distros#37765

Merged
adeebshihadeh merged 2 commits intomasterfrom
more_linux
Apr 23, 2026
Merged

tools/setup: support all common Linux distros#37765
adeebshihadeh merged 2 commits intomasterfrom
more_linux

Conversation

@adeebshihadeh
Copy link
Copy Markdown
Contributor

No description provided.

@github-actions github-actions Bot added the tools label Apr 4, 2026
@github-actions
Copy link
Copy Markdown
Contributor

github-actions Bot commented Apr 4, 2026

Process replay diff report

Replays driving segments through this PR and compares the behavior to master.
Please review any changes carefully to ensure they are expected.

✅ 0 changed, 66 passed, 0 errors

@adeebshihadeh adeebshihadeh merged commit 1c69770 into master Apr 23, 2026
11 checks passed
@adeebshihadeh adeebshihadeh deleted the more_linux branch April 23, 2026 20:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant