Skip to content

Update devcontainer and AGENTS definitions#70

Merged
MTrab merged 1 commit intomasterfrom
chore/update-devcontainer
Mar 17, 2026
Merged

Update devcontainer and AGENTS definitions#70
MTrab merged 1 commit intomasterfrom
chore/update-devcontainer

Conversation

@MTrab
Copy link
Copy Markdown
Owner

@MTrab MTrab commented Mar 17, 2026

No description provided.

@MTrab MTrab self-assigned this Mar 17, 2026
@github-actions github-actions Bot added chore Maintenance chore patch Triggers patch version bump labels Mar 17, 2026
@MTrab MTrab added the skip-changelog Exclude PR from release notes label Mar 17, 2026
@MTrab MTrab merged commit 0a5e143 into master Mar 17, 2026
3 checks passed
@MTrab MTrab deleted the chore/update-devcontainer branch March 17, 2026 14:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Maintenance chore patch Triggers patch version bump skip-changelog Exclude PR from release notes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant