Skip to content

Update dependency io.vavr:vavr to v0.10.7#2696

Merged
renovate[bot] merged 1 commit intomasterfrom
renovate/io.vavr-vavr-0.x
Jul 21, 2025
Merged

Update dependency io.vavr:vavr to v0.10.7#2696
renovate[bot] merged 1 commit intomasterfrom
renovate/io.vavr-vavr-0.x

Conversation

@renovate
Copy link
Copy Markdown
Contributor

@renovate renovate Bot commented Jul 21, 2025

This PR contains the following updates:

Package Change Age Confidence
io.vavr:vavr (source) 0.10.6 -> 0.10.7 age confidence

Release Notes

vavr-io/vavr (io.vavr:vavr)

v0.10.7

Compare Source

Maintenance release - fixed broken JavaDoc stylesheets.

btw, we're getting really close to shipping v0.11.0...


Configuration

📅 Schedule: Branch creation - Between 12:00 AM and 03:59 AM, only on Monday ( * 0-3 * * 1 ) (UTC), Automerge - At any time (no schedule defined).

🚦 Automerge: Enabled.

Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.


  • 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 A PR that updates dependencies - used by Release Drafter label Jul 21, 2025
@renovate renovate Bot requested a review from a team as a code owner July 21, 2025 01:30
@renovate renovate Bot enabled auto-merge (squash) July 21, 2025 01:30
@renovate renovate Bot added the dependencies A PR that updates dependencies - used by Release Drafter label Jul 21, 2025
@renovate renovate Bot merged commit bd01acb into master Jul 21, 2025
16 of 17 checks passed
@renovate renovate Bot deleted the renovate/io.vavr-vavr-0.x branch July 21, 2025 02:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies A PR that updates dependencies - used by Release Drafter

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants