Repository navigation

Add GitHub Actions CI - #5

Merged

justagist merged 4 commits into

mainfrom

Oct 15, 2026

Merged

Add GitHub Actions CI#5
justagist merged 4 commits into
mainfrom
ci

Commits on Oct 15, 2026
- add github actions ci and readme badges
  justagist
  committed
  0547521
- fix licence links in readmes
  justagist
  committed
  f8a56c1
- skip piper_cpp rosdep key in ci
  justagist
  committed
  96dbdbf
- restrict ci token permissions and bump checkout action
  justagist
  committed
  e18e9ae