Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

Add --vscode option #3162

Merged
merged 1 commit into from
Nov 11, 2024
Merged

Add --vscode option #3162

merged 1 commit into from
Nov 11, 2024

Conversation

lukaszcz
Copy link
Collaborator

@lukaszcz lukaszcz commented Nov 8, 2024

@lukaszcz lukaszcz added this to the 0.6.8 milestone Nov 8, 2024
@lukaszcz lukaszcz self-assigned this Nov 8, 2024
@lukaszcz lukaszcz merged commit fc0d5a3 into main Nov 11, 2024
4 checks passed
@lukaszcz lukaszcz deleted the vscode-option branch November 11, 2024 09:06
@paulcadman paulcadman mentioned this pull request Nov 11, 2024
2 tasks
lukaszcz pushed a commit that referenced this pull request Nov 11, 2024
The purpose of this release is to add support for the `--vscode` flag,
required by an update to the juvix vscode extension.

* #3162
* anoma/vscode-juvix#153

This PR updates:

- [x] Package version
- [x] Smoke test

The CHANGELOG generator we use:
https://github.com/github-changelog-generator/github-changelog-generator
has stopped working with errors like the following:

```
Warning: PR 3148 merge commit was not found in the release branch or tagged git history and no rebased SHA comment was found
```

So we'll defer populating the CHANGELOG summary until after the release.
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