Switch to the newer uv package manager (#114)

2025-08-30 12:50:13 +02:00
parent 86663dd5e4
commit 02a4937ce4
10 changed files with 1879 additions and 335 deletions
--- a/scripts/sync
+++ b/scripts/sync
@@ -0,0 +1,2 @@
+#! /bin/bash
+uv sync --locked