Skip to content

Update dependency: deps/uv2nix#56

Merged
automergerpr-permission-manager[bot] merged 4 commits into
masterfrom
_update-deps-cron/uv2nix
Oct 14, 2025
Merged

Update dependency: deps/uv2nix#56
automergerpr-permission-manager[bot] merged 4 commits into
masterfrom
_update-deps-cron/uv2nix

Conversation

@rv-jenkins
Copy link
Copy Markdown
Contributor

No description provided.

@automergerpr-permission-manager automergerpr-permission-manager Bot merged commit a0bc21e into master Oct 14, 2025
6 checks passed
@automergerpr-permission-manager automergerpr-permission-manager Bot deleted the _update-deps-cron/uv2nix branch October 14, 2025 15:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants