ci: switch from custom-container CI to industrial_ci - #83

Merged

nbbrooks merged 3 commits into

mainfrom

nbbrooks/switch-to-industrial-ci

Jul 9, 2026

Commits on Jul 9, 2026

ci: switch from custom-container CI to industrial_ci

nbbrooks
and
claude
committed
318ea34
Declare git as a test_depend for Catch2 FetchContent

nbbrooks
and
claude
committed
9430e94
ci: point rolling at ros2-testing + resolute

nbbrooks
and
claude
committed
5bf033e