ci: migrate to github - #5

Merged

emersonknapp merged 8 commits into

mainfrom

emerson/github-ci

Aug 12, 2026

Commits on Aug 12, 2026

ci: migrate to github
emersonknapp
committed
5282d7e
Repos file with nav2_dynamic
emersonknapp
committed
dc86e99
repo url
emersonknapp
committed
af3bc81
Add socketcan_adapter dep to repos
emersonknapp
committed
ce54621
wip migrating tests off polymath_test
emersonknapp
committed
787dd72
add precommit instead of the ament linters
emersonknapp
committed
1602385
Only test these packages
emersonknapp
committed
602fca8
Fix pkg name
emersonknapp
committed
d7d9f98