Skip to content

Add VS Code Dev Container workflow - #7

Open
mveril wants to merge 4 commits into
mainfrom
feature/devcontainer
Open

Add VS Code Dev Container workflow#7
mveril wants to merge 4 commits into
mainfrom
feature/devcontainer

Conversation

@mveril

@mveril mveril commented Aug 10, 2026

Copy link
Copy Markdown
Owner

Summary

  • add a VS Code Dev Container backed by the pinned Nix development profile
  • document setup and Windows troubleshooting
  • build and test the container in GitHub Actions

Dependency

This PR is stacked on feature/nix-dev-environment and should be retargeted to main after that feature merges.

Validation

  • Dev Container JSON parsed successfully
  • cargo fmt --all -- --check
  • cargo clippy --all-targets --all-features -- -D warnings
  • cargo test --all-targets --all-features

The complete container build will run on Linux CI.

@mveril
mveril force-pushed the feature/nix-dev-environment branch from 6f3969f to 2ebcd5b Compare August 12, 2026 16:52
Base automatically changed from feature/nix-dev-environment to main August 12, 2026 19:43
@mveril
mveril force-pushed the feature/devcontainer branch from 8a63678 to 952ecd1 Compare August 12, 2026 19:47
@mveril
mveril marked this pull request as ready for review August 12, 2026 19:52
@mveril
mveril force-pushed the feature/devcontainer branch from 632c34f to b7faaea Compare August 13, 2026 15:06
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.

1 participant