Skip to content

Harden CI: replace curl-pipe-shell with setup-uv action#7

Merged
jpr5 merged 1 commit into
mainfrom
fix/ci-hardening
May 15, 2026
Merged

Harden CI: replace curl-pipe-shell with setup-uv action#7
jpr5 merged 1 commit into
mainfrom
fix/ci-hardening

Commits

Commits on May 15, 2026