Skip to content

ci: devcontainer adjustments#78

Merged
schlich merged 3 commits into
mainfrom
devcontainer-config
Sep 4, 2025
Merged

ci: devcontainer adjustments#78
schlich merged 3 commits into
mainfrom
devcontainer-config

Conversation

@schlich
Copy link
Copy Markdown
Owner

@schlich schlich commented Sep 4, 2025

  • ci: pin base to bookworm
  • ci: devcontainer syntax
  • ci: devcontainer lock

@schlich schlich merged commit 5aa6204 into main Sep 4, 2025
7 checks passed
@schlich schlich deleted the devcontainer-config branch September 4, 2025 11:27
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