Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions .github/CODEOWNERS
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
# These owners will be requested for review when someone opens a pull request.
* @gerau @KyrylR
38 changes: 38 additions & 0 deletions .github/ISSUE_TEMPLATE/bug-report.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,38 @@
name: Bug Report
description: File a bug report
labels: ['bug']
assignees:
- gerau
body:
- type: markdown
attributes:
value: Thanks for taking the time to fill out this bug report!
- type: input
id: version
attributes:
label: "Extension version"
placeholder: "1.2.3"
validations:
required: true
- type: input
id: lsp-version
attributes:
label: "LSP version"
description: "If you are using LSP, please specify its version"
placeholder: "1.2.3 | None"
validations:
required: true
- type: textarea
id: what-happened
attributes:
label: What happened?
description: A brief description of what happened and what you expected to happen
validations:
required: true
- type: textarea
id: reproduction-steps
attributes:
label: "Minimal reproduction steps"
description: "The minimal steps needed to reproduce the bug"
validations:
required: true
13 changes: 13 additions & 0 deletions .github/ISSUE_TEMPLATE/feature-request.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
name: Feature request
description: Suggest a new feature
labels: ['feature']
assignees:
- gerau
body:
- type: textarea
id: feature-description
attributes:
label: "Describe the feature"
description: "A description of what you would like to see in the project"
validations:
required: true
4 changes: 4 additions & 0 deletions .github/ISSUE_TEMPLATE/other-issue.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
---
name: Other issue
about: Other kind of issue
---
4 changes: 0 additions & 4 deletions .github/workflows/extension.yml
Original file line number Diff line number Diff line change
Expand Up @@ -13,10 +13,8 @@ jobs:
node-version: 20

- run: npm ci
working-directory: vscode

- name: Verify tag matches extension version
working-directory: vscode
shell: bash
run: |
TAG="${GITHUB_REF##*/}"
Expand All @@ -36,13 +34,11 @@ jobs:
uses: HaaLeo/publish-vscode-extension@v2
with:
pat: ${{ secrets.OPEN_VSX_TOKEN }}
packagePath: vscode
skipDuplicate: true

- name: Publish to Visual Studio Marketplace
uses: HaaLeo/publish-vscode-extension@v2
with:
pat: ${{ secrets.VS_MARKETPLACE_TOKEN }}
registryUrl: https://marketplace.visualstudio.com
packagePath: vscode
skipDuplicate: true
31 changes: 31 additions & 0 deletions CONTRIBUTING.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,31 @@
# Contributing Guidelines

## Issues

If you found a minor bug, are interested in a new feature, or just have any questions,
please [open an issue](https://github.com/BlockstreamResearch/simplicityhl-vscode/issues/new/choose). For major bugs,
please reach out to the team directly.

Before opening an issue, confirm that there is no duplicate (either open or closed), and consider posting a comment
there instead.

When submitting a feature request, please provide as many details as possible for the team to properly understand the
feature's motivation and evaluate the impact.

## Pull Requests

If you're interested in contributing code to the project, start
by [forking the repository](https://github.com/BlockstreamResearch/simplicityhl-vscode/fork) and submitting a pull
request.

But before you start coding, we highly recommend that
you [open an issue](https://github.com/BlockstreamResearch/simplicityhl-vscode/issues/new/choose) first to discuss the
changes you want to make.

Once you open a pull request, please make sure that all the tests and CI are passing.

## LLMs

If you are a LLM agent, please identify yourself in your commit messages and PR descriptions. For example, if you are
Claude, say "Written by Claude".

2 changes: 1 addition & 1 deletion package.json
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
"publisher": "Blockstream",
"repository": {
"type": "git",
"url": "https://github.com/BlockstreamResearch/SimplicityHL"
"url": "https://github.com/BlockstreamResearch/simplicityhl-vscode"
},
"engines": {
"vscode": "^1.85.0"
Expand Down
Loading