Skip to content

Add lint groups to Q# #2103

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Merged
merged 12 commits into from
Apr 21, 2025
Merged

Add lint groups to Q# #2103

merged 12 commits into from
Apr 21, 2025

Conversation

orpuente-MS
Copy link
Contributor

@orpuente-MS orpuente-MS commented Jan 14, 2025

This PR adds the necessary infrastructure to define lint groups. It also adds the deprecation lint group, which allows the user to enable all deprecation lints at the same time, which are set to allow by default.

A lint group can be added to the qsharp.json manifest as follows:

{
   "lints": [
      { "group": "deprecations", "level": "warn" }
   ]
}

@minestarks
Copy link
Member

Should we update our qsharp.json schema? ( vscode\qsharp.schema.json )

@orpuente-MS orpuente-MS enabled auto-merge April 21, 2025 17:25
@orpuente-MS
Copy link
Contributor Author

@microsoft-github-policy-service rerun

auto-merge was automatically disabled April 21, 2025 18:08

Pull request was closed

@orpuente-MS orpuente-MS reopened this Apr 21, 2025
@orpuente-MS orpuente-MS enabled auto-merge April 21, 2025 18:09
@orpuente-MS orpuente-MS added this pull request to the merge queue Apr 21, 2025
@minestarks minestarks removed this pull request from the merge queue due to a manual request Apr 21, 2025
@minestarks minestarks added this pull request to the merge queue Apr 21, 2025
Merged via the queue into main with commit a529cc2 Apr 21, 2025
34 checks passed
@minestarks minestarks deleted the oscarpuente/lint-groups branch April 21, 2025 19:59
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants