ci: Add uv to CI for hegel property tests
Hegel requires uv on PATH to manage its Python-based test engine.

Assisted-by: Claude Opus 4.6 via pi
change vzttqvvwnotwslvktlwzrttvmtlwupur
commit 7341c50f29971a52ab4712598f1fc21e0dfb5074
author Alpha Chen <alpha@kejadlen.dev>
date
parent vwqypxxz 
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 4f66bd9..5cb76be 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -10,6 +10,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
+      - uses: astral-sh/setup-uv@v5
       - run: rustup component add clippy rustfmt llvm-tools
       - run: cargo install grcov cargo-mutants just
       - run: cargo fmt --check