Switch to the newer uv package manager (#114)

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