Skip to content

Dependabot config: batch uv updates#11812

Open
ulysses4ever wants to merge 1 commit into
masterfrom
ulysses4ever-patch-3
Open

Dependabot config: batch uv updates#11812
ulysses4ever wants to merge 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.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

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