Skip to content

Add CI Github actions + devcontainer support#31

Open
cducatez-orthopus wants to merge 32 commits into
developfrom
dev/cd
Open

Add CI Github actions + devcontainer support#31
cducatez-orthopus wants to merge 32 commits into
developfrom
dev/cd

Conversation

@cducatez-orthopus
Copy link
Copy Markdown
Collaborator

@cducatez-orthopus cducatez-orthopus commented Apr 24, 2026

  • CI: Docker images build (build, dev, prod) and hosted on github container repository
  • CI: ROS2 packages build check
  • CI: c++ linter / formatted (bot writting a comment)
  • devcontainer: Add devcontainer with whole dev tools and c++/python format / linting
  • dev: backward_ros added for better c++ stack trace
  • dev: package 'explorer_hardware' removed (unused)
  • dev: .vscode folder added for uniform settings
  • refactor: Add pre compiled qpoases_ros2 library
  • Fixes GUI depends on internet access #29

@cducatez-orthopus cducatez-orthopus force-pushed the dev/cd branch 8 times, most recently from eed4ba1 to 2f352fb Compare April 24, 2026 14:44
@cducatez-orthopus cducatez-orthopus force-pushed the dev/cd branch 13 times, most recently from 6a55de7 to d220013 Compare April 27, 2026 14:29
@cducatez-orthopus cducatez-orthopus force-pushed the dev/cd branch 2 times, most recently from 8705408 to 74de769 Compare April 28, 2026 14:27
@cducatez-orthopus cducatez-orthopus changed the title Add several CI github action workflows Add CI Github actions + devcontainer support May 6, 2026
@cducatez-orthopus cducatez-orthopus added the good first issue Good for newcomers label May 6, 2026
@cducatez-orthopus cducatez-orthopus self-assigned this May 18, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

good first issue Good for newcomers

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants