Give each platform its own CI workflow and badge - #53

Merged

germ-mark merged 3 commits into

port/service-endpoint-libcfrom

ci/platform-badges

Aug 18, 2026

Commits on Aug 18, 2026

Name the CI workflow for its platform and add a status badge
germ-mark
committed
d71f9f1
Add the Linux and Android CI legs

germ-mark
and
claude
committed
8eea6ec
Run push CI only on main and pin the Linux toolchain

germ-mark
and
claude
committed
093dfc7