Release v0.12.7

Merge pull request #253 from viperproject/fix-workspaces

Fix error reporting

Release v0.12.6

Bump the all group with 2 updates (#249)

Bumps the all group with 2 updates: [vs-verification-toolbox](https://github.com/viperproject/vs-verification-toolbox) and [@types/node](https://github.com/DefinitelyTyped/DefinitelyTyped/tree/HEAD/types/node).


Updates `vs-verification-toolbox` from `9d1344a` to `20eb537`
- [Commits](https://github.com/viperproject/vs-verification-toolbox/compare/9d1344af5733284d805cf0b3029e50440432fda1...20eb5376038f082a67beb38e0c9bbb6a79d71b63)

Updates `@types/node` from 20.11.14 to 20.11.15
- [Release notes](https://github.com/DefinitelyTyped/DefinitelyTyped/releases)
- [Commits](https://github.com/DefinitelyTyped/DefinitelyTyped/commits/HEAD/types/node)

---
updated-dependencies:
- dependency-name: vs-verification-toolbox
  dependency-type: direct:production
  dependency-group: all
- dependency-name: "@types/node"
  dependency-type: direct:development
  update-type: version-update:semver-patch
  dependency-group: all
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

Release v0.12.5

Publish new version (#241)

We recently upgraded several dependencies.

Release v0.12.4

Bump version (#231)

Release v0.12.3

Add link to Zulip in case of errors

Release v0.12.2

Bump version

Release v0.12.1

Merge pull request #225 from viperproject/obsolete-channels

Replace buildChannel with prustiVersion

Release v0.11.2

Bump version

Release v0.11.1

Update README.md

Release v0.11.0

Merge pull request #184 from viperproject/dependabot/npm_and_yarn/vs-…

…verification-toolbox-d5b0d17

Bump vs-verification-toolbox from `c163422` to `d5b0d17`