Skip to content

VS Code extensions improvements#343

Merged
anenadic merged 2 commits intomainfrom
vcsode-extensions
Nov 24, 2025
Merged

VS Code extensions improvements#343
anenadic merged 2 commits intomainfrom
vcsode-extensions

Conversation

@anenadic
Copy link
Collaborator

@anenadic anenadic commented Nov 24, 2025

Also partially addresses #316.

@github-actions
Copy link

🆗 Pre-flight checks passed 😃

This pull request has been checked and contains no modified workflow files or spoofing.

Results of any additional workflows will appear here when they are done.

@anenadic anenadic merged commit 26f79f5 into main Nov 24, 2025
3 checks passed
@anenadic anenadic deleted the vcsode-extensions branch November 24, 2025 12:48
github-actions bot pushed a commit that referenced this pull request Nov 24, 2025
Auto-generated via `{sandpaper}`
Source  : 26f79f5
Branch  : main
Author  : Aleksandra Nenadic <a.nenadic@manchester.ac.uk>
Time    : 2025-11-24 12:48:43 +0000
Message : Merge pull request #343 from carpentries-incubator/vcsode-extensions

VS Code extensions improvements
github-actions bot pushed a commit that referenced this pull request Nov 24, 2025
Auto-generated via `{sandpaper}`
Source  : 68f0026
Branch  : md-outputs
Author  : GitHub Actions <actions@github.com>
Time    : 2025-11-24 12:49:36 +0000
Message : markdown source builds

Auto-generated via `{sandpaper}`
Source  : 26f79f5
Branch  : main
Author  : Aleksandra Nenadic <a.nenadic@manchester.ac.uk>
Time    : 2025-11-24 12:48:43 +0000
Message : Merge pull request #343 from carpentries-incubator/vcsode-extensions

VS Code extensions improvements
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