Skip to content

Conversation

@tothtamas28
Copy link
Contributor

No description provided.

@tothtamas28 tothtamas28 self-assigned this Jan 21, 2026
@juliankuners juliankuners marked this pull request as ready for review January 27, 2026 13:47
@juliankuners
Copy link
Contributor

I finished the migration and added uv2nix and pyproject-build-systems to the automatic dependency update pull requests for kup here: https://github.com/runtimeverification/devops/pull/257.

@juliankuners juliankuners requested a review from anvacaru January 27, 2026 13:50
@automergerpr-permission-manager automergerpr-permission-manager bot merged commit 4a4811e into master Jan 27, 2026
1 check passed
@automergerpr-permission-manager automergerpr-permission-manager bot deleted the migrate-to-uv branch January 27, 2026 14:52
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