Repository navigation

ci: add Python CI for ruff + pytest under python/ - #7

Merged

justincasher merged 2 commits into

LeanPool:mainfrom

justincasher:justin/python-ci

May 9, 2026

Merged

ci: add Python CI for ruff + pytest under python/#7
justincasher merged 2 commits into
LeanPool:mainfrom
justincasher:justin/python-ci

Commits on May 9, 2026
- ci: add Python CI workflow for ruff + pytest under python/
  justincasher
  committed
  564dcde
- ci: harden pytest guard by translating exit code 5 instead of glob check
  justincasher
  committed
  3a65ebe