Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

Pin dependencies #48

Merged
merged 1 commit into from
Jun 5, 2024
Merged

Pin dependencies #48

merged 1 commit into from
Jun 5, 2024

Conversation

renovate[bot]
Copy link
Contributor

@renovate renovate bot commented Jun 5, 2024

Mend Renovate

This PR contains the following updates:

Package Type Update Change
SebRollen/toml-action action pinDigest -> b1b3628
actions/cache action pinDigest -> 0c45773
actions/checkout action pinDigest -> a5ac7e5
actions/deploy-pages action pinDigest -> d6db901
actions/setup-python action pinDigest -> 82c7e63
actions/upload-pages-artifact action pinDigest -> 56afc60
julia-actions/setup-julia action pinDigest -> f225878
peter-evans/create-pull-request action pinDigest -> 6d6857d
tibdex/github-app-token action pinDigest -> 3beb63f

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.

@sosiristseng sosiristseng merged commit ce0a727 into main Jun 5, 2024
3 checks passed
@sosiristseng sosiristseng deleted the renovate/pin-dependencies branch June 5, 2024 07:26
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