Check peppy_repository.json5 on every pull request - #44

Merged

godardt merged 4 commits into

mainfrom

faded-dragonfly

Aug 4, 2026

Commits on Aug 1, 2026

Check peppy_repository.json5 against the repository on every pull request

godardt
and
claude
committed
5790068
Bound the repository index job and keep PEPPY_VERSION out of shell source

godardt
and
claude
committed
739cdd3

Commits on Aug 4, 2026

Extract peppy from the release archive by its stored member name

godardt
and
claude
committed
6258652
Merge remote-tracking branch 'origin/main' into faded-dragonfly
godardt
committed
ae07d69