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

chore(IDX): fix some shellcheck warnings in main.sh #4053

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

nmattia
Copy link
Contributor

@nmattia nmattia commented Feb 21, 2025

This removes an outdated comment and fixes some shellcheck warnings from ci/bazel-scripts/main.sh.

This removes an outdated comment and fixes some shellcheck warnings from
`ci/bazel-scripts/main.sh`.
@github-actions github-actions bot added the chore label Feb 21, 2025
@nmattia nmattia marked this pull request as ready for review February 21, 2025 13:14
@nmattia nmattia requested a review from a team as a code owner February 21, 2025 13:14
@nmattia nmattia enabled auto-merge February 21, 2025 13:14
@github-actions github-actions bot added the @idx label Feb 21, 2025
@nmattia nmattia added this pull request to the merge queue Feb 21, 2025
@nmattia nmattia removed this pull request from the merge queue due to the queue being cleared Feb 21, 2025
@nmattia nmattia added this pull request to the merge queue Feb 21, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Feb 21, 2025
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