Skip to content

chore(deps): update github actions - #83

Merged
renovate[bot] merged 1 commit into
mainfrom
renovate/github-actions
Aug 9, 2026
Merged

chore(deps): update github actions#83
renovate[bot] merged 1 commit into
mainfrom
renovate/github-actions

Conversation

@renovate

@renovate renovate Bot commented Aug 9, 2026

Copy link
Copy Markdown
Contributor

This PR contains the following updates:

Package Type Update Change
graalvm/setup-graalvm (changelog) action digest 0def53c5298d94
reviewdog/action-actionlint (changelog) action digest 5084226d63ba75

Configuration

📅 Schedule: (in timezone Europe/Berlin)

  • Branch creation
    • At any time (no schedule defined)
  • Automerge
    • At any time (no schedule defined)

🚦 Automerge: Enabled.

Rebasing: Whenever PR is behind base branch, or you tick the rebase/retry checkbox.

👻 Immortal: This PR will be recreated if closed unmerged. Get config help if that's undesired.


  • If you want to rebase/retry this PR, check this box

This PR was generated by Mend Renovate. View the repository job log.

@renovate renovate Bot added the dependencies Pull requests that update a dependency file label Aug 9, 2026
@renovate
renovate Bot enabled auto-merge (rebase) August 9, 2026 17:09
@renovate
renovate Bot merged commit d0432f3 into main Aug 9, 2026
4 of 5 checks passed
@renovate
renovate Bot deleted the renovate/github-actions branch August 9, 2026 17:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants