Skip to content

Dependabot config: batch uv updates#11812

Merged
mergify[bot] merged 1 commit into
masterfrom
ulysses4ever-patch-3
May 15, 2026
Merged

Dependabot config: batch uv updates#11812
mergify[bot] merged 1 commit into
masterfrom
ulysses4ever-patch-3

Conversation

@ulysses4ever
Copy link
Copy Markdown
Collaborator

analogous to #11358


Template B: This PR does not modify behaviour or interface

E.g. the PR only touches documentation or tests, does refactorings, etc.

Include the following checklist in your PR:

  • Patches conform to the coding conventions.
  • Is this a PR that fixes CI? If so, it will need to be backported to older cabal release branches (ask maintainers for directions).

@philderbeast
Copy link
Copy Markdown
Collaborator

philderbeast commented May 12, 2026

Thanks @ulysses4ever. Related, I've added 11812 (#11819). Hopefully with the change from this pull request,11812 (#11819) will be a one off. I remembered a question about python versions from @geekosaur, found the comment, and opened #11818.

Note

It does seem that pinning the python version can affect the uv.lock contents (but the changes I see switching pinned python versions with uv python pin 3.13 and uv python pin 3.12 seem only to be "locked binary artifacts", things like wheels = [{url = ...).

Copy link
Copy Markdown
Collaborator

@jappeace jappeace left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

that's a good idea, I should add this to my template

@ulysses4ever ulysses4ever added merge me Tell Mergify Bot to merge and removed attention: needs-review labels May 13, 2026
@mergify mergify Bot added the ready and waiting Mergify is waiting out the cooldown period label May 13, 2026
@ulysses4ever
Copy link
Copy Markdown
Collaborator Author

thanks @jappeace!

@philderbeast thanks! one question:

Related, I've added #11812.

did you mistype the number? 'Cause 11812 is the current one.

@philderbeast
Copy link
Copy Markdown
Collaborator

did you mistype the number? 'Cause 11812 is the current one.

Oops, yes that's a typo. I meant #11819.

@ulysses4ever ulysses4ever mentioned this pull request May 13, 2026
2 tasks
@mergify mergify Bot added merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days queued labels May 15, 2026
@mergify
Copy link
Copy Markdown
Contributor

mergify Bot commented May 15, 2026

Merge Queue Status

This pull request spent 1 hour 52 minutes in the queue, including 1 hour 40 minutes 49 seconds running CI.

Required conditions to merge
  • #approved-reviews-by >= 2 [🛡 GitHub branch protection]
  • #changes-requested-reviews-by = 0 [🛡 GitHub branch protection]
  • #review-threads-unresolved = 0 [🛡 GitHub branch protection]
  • any of [🛡 GitHub branch protection]:
    • check-success = Doctest Cabal
    • check-neutral = Doctest Cabal
    • check-skipped = Doctest Cabal
  • any of [🛡 GitHub branch protection]:
    • check-success = Meta checks
    • check-neutral = Meta checks
    • check-skipped = Meta checks
  • any of [🛡 GitHub branch protection]:
    • check-success = docs/readthedocs.org:cabal
    • check-neutral = docs/readthedocs.org:cabal
    • check-skipped = docs/readthedocs.org:cabal
  • any of [🛡 GitHub branch protection]:
    • check-success = Validate post job
    • check-neutral = Validate post job
    • check-skipped = Validate post job
  • any of [🛡 GitHub branch protection]:
    • check-success = fourmolu
    • check-neutral = fourmolu
    • check-skipped = fourmolu
  • any of [🛡 GitHub branch protection]:
    • check-success = hlint
    • check-neutral = hlint
    • check-skipped = hlint
  • any of [🛡 GitHub branch protection]:
    • check-success = Bootstrap post job
    • check-neutral = Bootstrap post job
    • check-skipped = Bootstrap post job
  • any of [🛡 GitHub branch protection]:
    • check-success = whitespace
    • check-neutral = whitespace
    • check-skipped = whitespace
  • any of [🛡 GitHub branch protection]:
    • check-success = Check sdist post job
    • check-neutral = Check sdist post job
    • check-skipped = Check sdist post job
  • any of [🛡 GitHub branch protection]:
    • check-success = Changelogs
    • check-neutral = Changelogs
    • check-skipped = Changelogs

mergify Bot added a commit that referenced this pull request May 15, 2026
mergify Bot added a commit that referenced this pull request May 15, 2026
@mergify mergify Bot merged commit eec643a into master May 15, 2026
253 checks passed
@mergify mergify Bot deleted the ulysses4ever-patch-3 branch May 15, 2026 17:46
@mergify mergify Bot removed the queued label May 15, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days merge me Tell Mergify Bot to merge ready and waiting Mergify is waiting out the cooldown period

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants