Skip to content

Makefile/CI: Add linting of github workflow files#13

Merged
raghavendra-talur merged 2 commits into
TheEasyShift:mainfrom
obnoxxx:make-lint-workflows
Jun 18, 2026
Merged

Makefile/CI: Add linting of github workflow files#13
raghavendra-talur merged 2 commits into
TheEasyShift:mainfrom
obnoxxx:make-lint-workflows

Conversation

@obnoxxx

@obnoxxx obnoxxx commented Jun 18, 2026

Copy link
Copy Markdown
Member

This adds lointing of github workflow files with the actionlint command via make lint.workflows.

Some of the makefile target dependencies are also rearranged so that make lintand make checkalso lint workflows.

In particular, the CI will lint the workflow files on PRs with this.

Copilot AI review requested due to automatic review settings June 18, 2026 13:39

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

Pull request overview

Adds GitHub Actions workflow linting to the project’s existing make-based lint/check pipeline so CI (which runs make check) validates workflow files via actionlint.

Changes:

  • Introduces ACTIONLINT and a new lint.workflows target to lint .github/workflows files.
  • Adds a lint.light aggregation target and updates check to use it (so check includes workflow linting).
  • Updates lint to include workflow linting and run the “full” Go lint suite.

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

Comment thread Makefile Outdated
Comment thread Makefile Outdated
obnoxxx added 2 commits June 18, 2026 15:46
This change adds linting of the github workflow file(s) using
the actionlint tool.
For developer convenience, this can be invoked as `make lint.workflows`.

Additionally, ome make target dependencies are slightly rearrangrd so
that, for example lint and check run workflow linting.

Signed-off-by: Michael Adam <obnox@samba.org>
This change adds some informational messages
to Makefile linting with `make lint.make`

Signed-off-by: Michael Adam <obnox@samba.org>
@obnoxxx obnoxxx force-pushed the make-lint-workflows branch from 7b9cca7 to 3f5fa14 Compare June 18, 2026 13:46
@obnoxxx obnoxxx changed the title Makefile/CI: Add linting of github workflows Makefile/CI: Add linting of github workflow files Jun 18, 2026
@raghavendra-talur raghavendra-talur merged commit 2127bad into TheEasyShift:main Jun 18, 2026
2 checks passed
@obnoxxx obnoxxx deleted the make-lint-workflows branch June 19, 2026 09:49
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