Skip to content

Update and lint GitHub Action workflows#781

Merged
MakisH merged 12 commits into
developfrom
lint-actions
May 15, 2026
Merged

Update and lint GitHub Action workflows#781
MakisH merged 12 commits into
developfrom
lint-actions

Conversation

@MakisH
Copy link
Copy Markdown
Member

@MakisH MakisH commented May 15, 2026

This PR:

  • Adds a pre-commit hook to lint GitHub Actions, using https://github.com/rhysd/actionlint, and fixes all linting issues
  • Bumps all GitHub Actions to their latest versions
  • Removes the unused check-links.yml workflow
  • Specifies the timezone to the scheduled workflows, for clarity
  • Potentially fixes an issue with the system tests failing at the upload-artifact step (failing job).

@MakisH MakisH self-assigned this May 15, 2026
@MakisH MakisH merged commit e1d61cc into develop May 15, 2026
1 check passed
@MakisH MakisH deleted the lint-actions branch May 15, 2026 18:07
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.

1 participant