Skip to content

🧪 Integrate actionlint @ pre-commit framework#2266

Merged
webknjaz merged 7 commits intojazzband:mainfrom
webknjaz:maintenance/gha-pre-commit-actionlint
Nov 7, 2025
Merged

🧪 Integrate actionlint @ pre-commit framework#2266
webknjaz merged 7 commits intojazzband:mainfrom
webknjaz:maintenance/gha-pre-commit-actionlint

Conversation

@webknjaz
Copy link
Member

@webknjaz webknjaz commented Nov 7, 2025

This includes bumping all the GitHub Actions to their recent versions and making the tag portion of the CI push trigger config for tags more explicit. These are the violations actionlint reported prior to this PR.

Contributor checklist
  • Included tests for the changes.
  • A change note is created in changelog.d/ (see changelog.d/README.md for instructions) or the PR text says "no changelog needed".
Maintainer checklist
  • If no changelog is needed, apply the bot:chronographer:skip label.
  • Assign the PR to an existing or new milestone for the target version (following Semantic Versioning).

@webknjaz webknjaz added this to the later milestone Nov 7, 2025
@webknjaz webknjaz requested review from Copilot and sirosen November 7, 2025 03:18
@webknjaz webknjaz added maintenance Related to maintenance processes ci Related to continuous integration tasks labels Nov 7, 2025

This comment was marked as resolved.

@webknjaz webknjaz marked this pull request as ready for review November 7, 2025 12:11
@webknjaz webknjaz enabled auto-merge November 7, 2025 12:11
@webknjaz webknjaz added this pull request to the merge queue Nov 7, 2025
Merged via the queue into jazzband:main with commit 26b53bc Nov 7, 2025
51 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bot:chronographer:provided ci Related to continuous integration tasks maintenance Related to maintenance processes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

Comments