Skip to content

Conversation

Copy link
Contributor

Copilot AI commented Dec 9, 2025

Enables GitHub Codespaces for debugging PRs by providing a containerized development environment with all build dependencies and debugging tools.

Configuration Files

  • .devcontainer/devcontainer.json - VSCode configuration with C++ extensions (cpptools, cmake-tools, copilot), auto-initializes git submodules
  • .devcontainer/Dockerfile - Ubuntu:latest base with dependencies from CI workflow
  • .devcontainer/README.md - Usage documentation and build instructions

Dependencies & Tools

Build dependencies match GitHub Actions workflow:

  • libssl-dev, sqlite3, libsqlite3-dev, cmake, libcurl4-openssl-dev, uuid-dev, libgtest-dev

Development tools:

  • Debuggers: gdb, lldb, gdbserver
  • Analysis: valgrind, clang-tidy, clang-format
  • Build: ninja-build, pkg-config

Runs as non-root vscode user with sudo access.

Original prompt

This section details on the original issue you should resolve

<issue_title>Create devcontainer to enable CodeSpaces</issue_title>
<issue_description>Based on the GitHub Action in .github/workflows/ccpp.yml, create a dev container in the workspace (use the latest ubuntu, not ubuntu 22) with all the tools needed to build and test the library plus typical C++ development and debugging tools. I'd like to use Codespaces to debug some failing PRs.</issue_description>

Comments on the Issue (you are @copilot in this section)


✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.

Copilot AI and others added 2 commits December 9, 2025 14:26
Co-authored-by: bbockelm <1093447+bbockelm@users.noreply.github.com>
Co-authored-by: bbockelm <1093447+bbockelm@users.noreply.github.com>
Copilot AI changed the title [WIP] Create devcontainer for CodeSpaces with necessary tools Add devcontainer configuration for GitHub Codespaces Dec 9, 2025
Copilot AI requested a review from bbockelm December 9, 2025 14:30
Copy link
Contributor

@bbockelm bbockelm left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM.

@bbockelm bbockelm marked this pull request as ready for review December 9, 2025 14:45
@bbockelm bbockelm merged commit 194b710 into master Dec 9, 2025
21 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Create devcontainer to enable CodeSpaces

2 participants