Skip to content

🧑‍💻 vscode tasks#715

Merged
jorenham merged 2 commits into
mainfrom
vscode-tasks
Sep 23, 2025
Merged

🧑‍💻 vscode tasks#715
jorenham merged 2 commits into
mainfrom
vscode-tasks

Conversation

@jorenham
Copy link
Copy Markdown
Member

@jorenham jorenham commented Sep 23, 2025

With the vscode "Tasks" extension activated (see the recommended extensions), the tasks show up in the taskbar like this:

image

Copilot can also use tasks, so that might help make it less useless (big fan).

Copy link
Copy Markdown
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

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

Pull Request Overview

This PR introduces VS Code tasks configuration to streamline common development workflows. The configuration provides convenient shortcuts for formatting, linting, testing, and documentation tasks within the VS Code environment.

  • Adds formatting tasks for both Python (ruff) and general text (dprint)
  • Configures type checking and linting tasks (basedpyright, mypy) with problem matchers
  • Sets up testing and documentation tasks (pytest, stubtest, tox, mkdocs)

Tip: Customize your code reviews with copilot-instructions.md. Create the file or learn how to get started.

Comment thread .vscode/tasks.json Outdated
@jorenham jorenham requested a review from Copilot September 23, 2025 21:54
Copy link
Copy Markdown
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

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

Pull Request Overview

Copilot reviewed 2 out of 2 changed files in this pull request and generated 2 comments.


Tip: Customize your code reviews with copilot-instructions.md. Create the file or learn how to get started.

Comment thread .vscode/tasks.json
Comment thread .vscode/tasks.json
@jorenham jorenham merged commit 38c7350 into main Sep 23, 2025
20 checks passed
@jorenham jorenham deleted the vscode-tasks branch September 23, 2025 22:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants