cog
ci: enforce stub freshness in CI, fix existing stub drift
#2912

Merged

ci: enforce stub freshness in CI, fix existing stub drift #2912

michaeldwan merged 5 commits into main from md/ci-stub-check

ci: add stub freshness check to CI

0298c485

chore: regenerate coglet Python stubs

e0ea825b

michaeldwan requested a review 95 days ago

ask-bonk commented on 2026-04-07

fix(ci): set LD_LIBRARY_PATH for stub_gen in check-stubs

5556b847

ask-bonk commented on 2026-04-07

fix: restore dict[str, str] return type for Scope.context stub

9978a6fb

michaeldwan changed the title ~~ci: enforce stub freshness in CI~~ ci: enforce stub freshness in CI, fix existing stub drift 95 days ago

fix(ci): use setup-python for shared libpython in check-stubs

e7171743

michaeldwan enabled auto-merge 95 days ago

markphelps approved these changes on 2026-04-08

michaeldwan merged 93c55690 into main 94 days ago

michaeldwan deleted the md/ci-stub-check branch 94 days ago

Reviewers

markphelps

ask-bonk

Assignees

No one assigned

Labels

None yet

Milestone

No milestone