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

chore(deps): lock file maintenance #1022

Closed
wants to merge 1 commit into from

Conversation

renovate[bot]
Copy link
Contributor

@renovate renovate bot commented Jan 13, 2025

This PR contains the following updates:

Update Change
lockFileMaintenance All locks refreshed

🔧 This Pull Request updates lock files to use the latest dependency versions.


Configuration

📅 Schedule: Branch creation - "before 4am on monday" (UTC), Automerge - At any time (no schedule defined).

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

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 area/dependencies Pull requests that update a dependency file label Jan 13, 2025
@renovate renovate bot requested a review from a team as a code owner January 13, 2025 02:57
@renovate renovate bot force-pushed the renovate/lock-file-maintenance branch 2 times, most recently from 35e4b18 to 23067df Compare January 13, 2025 07:40
@renovate renovate bot force-pushed the renovate/lock-file-maintenance branch 2 times, most recently from 87a79a1 to bae6647 Compare January 13, 2025 17:09
@renovate renovate bot force-pushed the renovate/lock-file-maintenance branch from bae6647 to 7203ccb Compare January 14, 2025 09:28
@flavio
Copy link
Member

flavio commented Jan 14, 2025

The build is failing because two different versions of wasmtime are used, which is not allowed. Closing, this is going to be superseded by #1027 (which doesn't have this problem)

@flavio flavio closed this Jan 14, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area/dependencies Pull requests that update a dependency file kind/chore
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

2 participants