Skip to content

chore(deps): pin dependencies#7

Merged
johanneseschrig merged 1 commit intomainfrom
renovate/pin-dependencies
Feb 5, 2026
Merged

chore(deps): pin dependencies#7
johanneseschrig merged 1 commit intomainfrom
renovate/pin-dependencies

Conversation

@renovate
Copy link
Contributor

@renovate renovate bot commented Feb 5, 2026

This PR contains the following updates:

Package Type Update Change
actions/checkout action pinDigest 93cb6ef
actions/download-artifact action pinDigest 634f93c
actions/setup-java action pinDigest c1e3236
actions/upload-artifact action pinDigest ea165f8
peter-evans/create-pull-request action pinDigest 22a9089
stCarolas/setup-maven action pinDigest d6af6ab

Configuration

📅 Schedule: Branch creation - Only on Sunday and Saturday ( * * * * 0,6 ) (UTC), Automerge - At any time (no schedule defined).

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

Rebasing: Whenever PR becomes conflicted, 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 label Feb 5, 2026
@github-actions
Copy link

github-actions bot commented Feb 5, 2026

✔️ OSS related checks passed successfully
📋 OSS related checks executed by Black Duck - rapid scan passed successfully.

RAPID SCAN

@johanneseschrig johanneseschrig merged commit b7f7b9d into main Feb 5, 2026
5 of 7 checks passed
@johanneseschrig johanneseschrig deleted the renovate/pin-dependencies branch February 5, 2026 15:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant