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.

Sign up for GitHub

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

Jump to bottom

FIX: shellcheck linter warnings #4473

Merged
merged 1 commit into from
Dec 10, 2024
Merged

FIX: shellcheck linter warnings #4473

merged 1 commit into from
Dec 10, 2024

Conversation

reneme
Copy link
Collaborator

@reneme reneme commented Dec 10, 2024

Ignore/fix some noise of the shellcheck linter.

@reneme reneme added the infra CI, package management, etc label Dec 10, 2024
@reneme reneme requested a review from randombit December 10, 2024 12:57
@reneme reneme self-assigned this Dec 10, 2024
randombit
randombit approved these changes Dec 10, 2024
View reviewed changes
Copy link
Owner

@randombit randombit left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks

@coveralls
Copy link

Coverage Status

coverage: 91.263%. remained the same
when pulling 7d5c6d3 on Rohde-Schwarz:fix/shlint
into 4725c2d on randombit:master.

@reneme reneme merged commit 5f9db1e into randombit:master Dec 10, 2024
38 checks passed
@reneme reneme deleted the fix/shlint branch December 10, 2024 14:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@randombit randombit randombit approved these changes

Assignees

@reneme reneme

Labels
infra CI, package management, etc
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@reneme @coveralls @randombit