Skip to content

Pin pipenv in CI via ensure-pipenv and regenerate lock#2251

Merged
berendt merged 1 commit intomainfrom
fix-pin-pipenv
May 8, 2026
Merged

Pin pipenv in CI via ensure-pipenv and regenerate lock#2251
berendt merged 1 commit intomainfrom
fix-pin-pipenv

Commits

Commits on May 8, 2026