Skip to content

Add a ShellCheck GitHub action#64

Merged
derobins merged 5 commits into
developfrom
derobins/shellcheck_ci
Nov 19, 2025
Merged

Add a ShellCheck GitHub action#64
derobins merged 5 commits into
developfrom
derobins/shellcheck_ci

Conversation

@derobins
Copy link
Copy Markdown
Collaborator

No description provided.

Copy link
Copy Markdown
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

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

Pull Request Overview

This PR adds a new GitHub Actions workflow to run ShellCheck (a shell script linting tool) on all shell scripts in the repository. The workflow is triggered on pull requests and follows a similar pattern to other linting workflows like codespell.

Key changes:

  • Adds a new ShellCheck workflow file that runs on pull requests with read-only permissions
  • Checks out code and runs the ludeeus/action-shellcheck action to lint shell scripts

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Comment thread .github/workflows/shellcheck.yml Outdated
Copilot AI review requested due to automatic review settings November 19, 2025 00:08
Copy link
Copy Markdown
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

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

Pull Request Overview

Copilot reviewed 1 out of 1 changed files in this pull request and generated 1 comment.


💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Comment thread .github/workflows/shellcheck.yml Outdated
Copilot AI review requested due to automatic review settings November 19, 2025 01:51
Copy link
Copy Markdown
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

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

Pull Request Overview

Copilot reviewed 1 out of 1 changed files in this pull request and generated no new comments.


💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@derobins derobins merged commit b8c835d into develop Nov 19, 2025
38 checks passed
@derobins derobins deleted the derobins/shellcheck_ci branch November 19, 2025 16:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants