Skip to content

⬆️🔒️ Lock file maintenance#716

Merged
renovate[bot] merged 1 commit into
mainfrom
renovate/lock-file-maintenance
Jun 9, 2026
Merged

⬆️🔒️ Lock file maintenance#716
renovate[bot] merged 1 commit into
mainfrom
renovate/lock-file-maintenance

Conversation

@renovate

@renovate renovate Bot commented Jun 8, 2026

Copy link
Copy Markdown
Contributor

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: (UTC)

  • Branch creation
    • "before 4am on monday"
  • 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 dependencies Pull requests that update a dependency file python Pull requests that update Python code labels Jun 8, 2026
@renovate renovate Bot enabled auto-merge (squash) June 8, 2026 00:39
@renovate renovate Bot force-pushed the renovate/lock-file-maintenance branch from 4ad2d73 to 65ab75e Compare June 8, 2026 23:23
Signed-off-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
@renovate renovate Bot force-pushed the renovate/lock-file-maintenance branch from 65ab75e to 0e9bda9 Compare June 9, 2026 00:42
@codecov

codecov Bot commented Jun 9, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

@renovate renovate Bot merged commit a00badc into main Jun 9, 2026
13 of 14 checks passed
@renovate renovate Bot deleted the renovate/lock-file-maintenance branch June 9, 2026 02:29
@github-project-automation github-project-automation Bot moved this from In Progress to Done in MQT Error Correction Jun 9, 2026
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 python Pull requests that update Python code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants