Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Pin dependencies #447

Merged
merged 1 commit into from
Sep 22, 2023
Merged

Pin dependencies #447

merged 1 commit into from
Sep 22, 2023

Conversation

renovate[bot]
Copy link
Contributor

@renovate renovate bot commented Sep 22, 2023

Mend Renovate

This PR contains the following updates:

Package Type Update Change
actions/checkout action pinDigest -> ee0669b
actions/setup-dotnet action pinDigest -> 608ee75

Configuration

📅 Schedule: Branch creation - At any time (no schedule defined), 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 has been generated by Mend Renovate. View repository job log here.

@renovate renovate bot added dependencies Pull requests that update a dependency file ci github-actions labels Sep 22, 2023
@cvium cvium merged commit 36b536c into master Sep 22, 2023
@cvium cvium deleted the renovate/pin-dependencies branch September 22, 2023 20:16
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
ci dependencies Pull requests that update a dependency file github-actions
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant