Add git derivation to PATH of uv binary#1042

juliankuners wants to merge 2 commits intomasterruntimeverification/kontrol:masterfrom

uv-wrapped-with-gitruntimeverification/kontrol:uv-wrapped-with-gitCopy head branch name to clipboard