ci: build pull requests, and only the devices they reach - #120

Merged

widgetii merged 3 commits into

ci-narrow-matrix

Aug 17, 2026

Commits on Aug 16, 2026

ci: build pull requests, and only the devices they reach

widgetii
and
claude
committed
89a3fad
ci: derive the device list instead of writing it down

widgetii
and
claude
committed
13a1676
ci-matrix: own $GITHUB_OUTPUT instead of being redirected into it

widgetii
and
claude
committed
4290020