chore: Add formatting step in pyright-scip & update CI pipeline - #185

Merged

varungandhi-src merged 8 commits into

scipfrom

vg/housekeeping

Aug 15, 2025

Commits on Aug 15, 2025

chore: Add linting and formatting scripts to pyright-scip
varungandhi-src
committed
ee65d05
chore: Add AGENT.md for pyright-scip development instructions
varungandhi-src
committed
75eb921
chore: Format pyright-scip with prettier
varungandhi-src
committed
7b15316
chore: Add .git-blame-ignore-revs to ignore formatting commit
varungandhi-src
committed
0a831a2
chore: Add CI workflow for pyright-scip linting and formatting checks
varungandhi-src
committed
83e62ed
chore: Disable eslint checking -- too many issues
varungandhi-src
committed
3917357
chore: Run formatting & test checks on all PRs & commits
varungandhi-src
committed
2d78ea8
chore: Replace asdf->mise
varungandhi-src
committed
fc45a19